Command-line interface to the Agda dependently typed programming language and proof assistant.
apt install agda-bin
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.