/agda-calc

A simple calculator REPL in Agda

Primary LanguageAgda

No issues in this repository yet.