| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Agda: update to version 2.4.0.2 | Peter Simons | 2014-07-31 |
| * | haskell-agda-stdlib: properly reference ghc and runhaskell | John Wiegley | 2014-07-12 |
| * | agda-stdlib: no need to jailbreak anymore | Mathijs Kwik | 2014-06-19 |
| * | agda-stdlib: upgrade to 0.8 (they keep changing the version scheme) | Mathijs Kwik | 2014-06-17 |
| * | Agda: add 2.4.0.1, 2.3.2.2 is still the default for now | John Wiegley | 2014-06-16 |
| * | Build AgdaStdlib before installing it | John Wiegley | 2014-05-05 |
| * | Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. | Peter Simons | 2014-05-04 |
| * | Agda: move compiler and standard library into a common directory | Peter Simons | 2014-05-03 |