gergoerdi / interaction-nets

Haskell implementation of interaction net-based lambda evaluation
16Updated 8 years ago

Related projects

Alternatives and complementary repositories for interaction-nets