Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-05-31 | agda: Remove unused/uneeded abstractions, including `postprocess` | John Ericson | 1 | -18/+11 |
2015-05-31 | agda: Just `with` all of the string helper functions | John Ericson | 1 | -3/+3 |
2015-05-30 | agda: `postprocess` and `defaults` need not be in the scope of args | John Ericson | 1 | -81/+80 |
2015-05-30 | agda: Provide a `.env` like Haskell instead of `.extras` | John Ericson | 1 | -19/+13 |
2015-05-20 | agda: Wrapper is no longer built by default | John Ericson | 1 | -16/+23 |
2015-05-20 | agda: Agda dependencies are treated seperately | John Ericson | 1 | -6/+14 |
2015-05-18 | agda: Remove `extraBuildFlags` | John Ericson | 1 | -6/+5 |
2015-05-18 | agda: Remove buildTools, it is unused | John Ericson | 1 | -3/+1 |
2015-05-17 | agda: Replace `eval` with `runHook` | John Ericson | 1 | -6/+6 |
2015-05-17 | agda: Remove unnecessary env-var export | John Ericson | 1 | -1/+0 |
2015-04-06 | agda: migrate to haskell-ng, update and cleanup | Nikolay Amiantov | 1 | -1/+1 |
2014-09-01 | Add a builder for Agda packages. | Mateusz Kowalczyk | 1 | -0/+95 |