stevebob/agda-helper
A command line program for normalizing and type-evaluating agda expressions.
https://github.com/stevebob/agda-helper
viewpoint
Issues rank
contributors (According to the first 100)