agda
Dependently typed functional programming language
http://wiki.portal.chalmers.se/agda/
Current versions:
| stable | ✅ | 2.5.3 |
| head | ⚡️ | HEAD |
| bottle | 🍾 | high_sierra, sierra, el_capitan |
Revision: 3
Options:
| --without-stdlib | Don't install the Agda standard library |
| --without-ghc@8.2 | Disable the GHC backend |
| --without-emacs | Build without emacs support |
Depends on recommended:
| ghc@8.2 | ✅ | 8.2.2 | Glorious Glasgow Haskell Compilation System |
| emacs | ✅ | 25.3 | GNU Emacs text editor |
Depends on when building from source:
| cabal-install | ✅ | 2.2.0.0 | Command-line interface for Cabal and Hackage |
Formula code on GitHub
