|
Control
|
Initial structure
|
2019-03-07 23:04:55 +00:00 |
|
Core
|
Add definition generation
|
2019-06-02 14:28:26 +01:00 |
|
Data
|
Add Implementation and Interface
|
2019-06-01 18:13:19 +01:00 |
|
Idris
|
Add Implementation and Interface
|
2019-06-01 18:13:19 +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
|
Add MakeLemma
|
2019-06-02 14:41:21 +01:00 |
|
Utils
|
Added Idris.Desugar
|
2019-06-01 14:11:21 +01:00 |
|
Yaffle
|
Add definition generation
|
2019-06-02 14:28:26 +01:00 |
|
Makefile
|
Added test framework (copied from Blodwen)
|
2019-05-07 10:43:02 +01:00 |
