gentoo.mahdi.cz
sci-mathematics
:agda
A dependently typed functional programming language and proof assistant
https://wiki.portal.chalmers.se/agda/
agda-2.6.3.0
MIT
download
~amd64
haskell