codeberg.org topics: kleene-algebra
catseye/Tandem
A rewriting language where the rewrite rules form a Kleene algebra
Language: Haskell - Size: 75.2 KB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0
A rewriting language where the rewrite rules form a Kleene algebra
Language: Haskell - Size: 75.2 KB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0