Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/hs-Agda: Do not compile Emacs mode files, because they are incompatible | Gleb Popov | 2020-08-19 | 1 | -8/+0 |
* | math/hs-Agda: Install emacs mode files. | Gleb Popov | 2020-05-06 | 1 | -0/+17 |
* | Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way. | Gleb Popov | 2020-05-04 | 1 | -0/+6 |
* | math/hs-Agda: Update to latest version and unbreak. | Gleb Popov | 2019-06-13 | 1 | -0/+62 |
* | - Please welcome GHC 7.0.3 | Ashish SHUKLA | 2011-05-09 | 1 | -217/+0 |
* | Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal | Gabor Pali | 2010-05-12 | 1 | -211/+211 |
* | Agda is a dependently typed functional programming language: It has inductive | Gabor Pali | 2010-01-04 | 1 | -0/+217 |