jonsterling / agda-zipper-machine

An abstract machine using indexed containers and their zippers
14Updated 7 years ago

Related projects

Alternatives and complementary repositories for agda-zipper-machine