profile
viewpoint

stevebob/agda-helper

A command line program for normalizing and type-evaluating agda expressions.

https://github.com/stevebob/agda-helper

stevebob

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

stevebob