@hackage / Agda-executable

Command-line program for type-checking and compiling Agda programs

Version Deprecated package2.3.0.1

Security Advisories

No advisories found.