|
Control
|
added more functions to Control.App.Console
|
2020-05-30 12:44:40 +02:00 |
|
Data
|
Experiment %syntactic flag on with
|
2020-05-29 16:39:11 +01:00 |
|
Debug
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Decidable
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
Language
|
Make a start on reflection
|
2020-05-29 22:40:29 +01:00 |
|
System
|
Try to fix pclose for Windows
|
2020-05-28 16:12:26 +02:00 |
|
base.ipkg
|
add Data.List.Quantifiers
|
2020-05-24 03:15:38 +02:00 |
|
Makefile
|
Refactor makefiles
|
2020-05-19 18:50:47 +06:00 |
|
System.idr
|
Fix import loading
|
2020-05-27 15:49:03 +01:00 |
