@hackage / Agda-executable

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

Version Deprecated package2.3.0.1

Changelog

This release does not have a Changelog