A cyclic tag system in Haskell10 November 2023·1683 words·8 minsExperiments Haskell Math CytsA Turing-complete system, but in a lot more letters