jeroenk/iTRSsImplemented

Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell

HaskellAGPL-3.0