Matthew Pickering
|
8d55538f97
|
Revert "idris: Move library setup to the setup hook."
This reverts commit 69d4adee1f.
|
2018-02-07 19:24:31 +00:00 |
|
Shea Levy
|
69d4adee1f
|
idris: Move library setup to the setup hook.
This was broken in preHook because addEnvHooks isn't defined yet.
|
2018-01-20 19:58:06 -05:00 |
|
John Ericson
|
046f091e0d
|
treewide: Don't use envHook anymore
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
|
2017-12-30 22:04:22 -05:00 |
|
Thomas Tuegel
|
b438d394ce
|
idrisPackages.idris: 1.0 -> 1.1.1
|
2017-08-23 06:45:32 -05:00 |
|
Shea Levy
|
0f90c9dbc1
|
idris-modules: documentation
|
2015-11-27 13:17:17 -05:00 |
|
Shea Levy
|
0dce60b34d
|
Add wl-pprint Idris package.
|
2015-11-27 11:03:04 -05:00 |
|
Shea Levy
|
efbee054fd
|
Add builtin idris packages to idrisPackages
|
2015-11-27 09:35:59 -05:00 |
|