An ongoing work on M. Hamana's rewriting system on cyclic data structure
Primary LanguageHaskell
No issues in this repository yet.