Age | Commit message (Expand) | Author |
---|---|---|
2015-05-31 | 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-30 | 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-20 | agda: Wrapper is no longer built by default | John Ericson |
2015-05-20 | agda: Agda dependencies are treated seperately | John Ericson |
2015-05-18 | agda: Remove `extraBuildFlags` | John Ericson |
2015-05-18 | agda: Remove buildTools, it is unused | John Ericson |
2015-05-17 | agda: Replace `eval` with `runHook` | John Ericson |
2015-05-17 | agda: Remove unnecessary env-var export | John Ericson |
2015-04-06 | agda: migrate to haskell-ng, update and cleanup | Nikolay Amiantov |
2014-09-01 | Add a builder for Agda packages. | Mateusz Kowalczyk |