|
Compiler
|
Remove AppInfo
|
2019-06-13 19:33:10 +01:00 |
|
Control
|
Initial structure
|
2019-03-07 23:04:55 +00:00 |
|
Core
|
Turn lets to lambdas in hole environments
|
2019-06-16 23:10:32 +01:00 |
|
Data
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
Idris
|
Some TTC/Delay fixes
|
2019-06-16 13:47:20 +01:00 |
|
Parser
|
Implement laziness
|
2019-05-22 19:42:43 +01:00 |
|
Text
|
Initial structure
|
2019-03-07 23:04:55 +00:00 |
|
TTImp
|
Remove spurious assignment!
|
2019-06-16 23:23:57 +01:00 |
|
Utils
|
Remove AppInfo
|
2019-06-13 19:33:10 +01:00 |
|
Yaffle
|
Defer erasure/run-time case trees
|
2019-06-14 18:35:31 +01:00 |
|
Makefile
|
Added test framework (copied from Blodwen)
|
2019-05-07 10:43:02 +01:00 |
