Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Pass maintainership to haskell@FreeBSD.org: | Giuseppe Pilichi | 2010-05-26 | 1 | -1/+1 |
* | Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal | Gabor Pali | 2010-05-12 | 2 | -299/+222 |
* | Switch to use newer GMP version. | Alex Dupre | 2010-04-19 | 1 | -1/+2 |
* | Agda is a dependently typed functional programming language: It has inductive | Gabor Pali | 2010-01-04 | 5 | -0/+351 |