|
expected
|
Add error message tests
|
2019-06-25 21:46:28 +01:00 |
|
input
|
First attempt at linearity checking pass
|
2019-05-19 20:24:14 +01:00 |
|
QTT.yaff
|
First attempt at linearity checking pass
|
2019-05-19 20:24:14 +01:00 |
|
run
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
