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