|
Control
|
Port Control.Arrow from Idris.
|
2020-08-15 16:42:00 +02:00 |
|
Data
|
Add Data.Either module ported from Idris.
|
2020-08-15 14:28:08 +02:00 |
|
Debug
|
Back to HasIO, remove MonadIO
|
2020-06-21 19:21:22 +01:00 |
|
Language
|
Fix import loading
|
2020-05-27 15:49:03 +01:00 |
|
Syntax
|
Remove bindning to y as no longer necessary
|
2020-08-09 10:18:34 +01:00 |
|
System
|
Back to HasIO, remove MonadIO
|
2020-06-21 19:21:22 +01:00 |
|
Text
|
Remove public export
|
2020-08-05 13:42:04 +02:00 |
|
contrib.ipkg
|
Port Control.Arrow from Idris.
|
2020-08-15 16:42:00 +02:00 |
|
Makefile
|
Refactor makefiles
|
2020-05-19 18:50:47 +06:00 |
