| .. |
|
basic001
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
basic002
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
basic003
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
|
basic004
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
basic005
|
Block reduction of private/export names
|
2019-06-15 16:10:01 +01:00 |
|
basic006
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
coverage001
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
coverage002
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
dot001
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
eta001
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
|
eta002
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
lazy001
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
nest001
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
nest002
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
perf001
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
perf002
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
perf003
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
qtt001
|
Add error message tests
|
2019-06-25 21:46:28 +01:00 |
|
qtt002
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
|
qtt003
|
Check names are visible/public
|
2019-06-24 00:12:58 +01:00 |
|
record001
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
record002
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
record003
|
Add tests for default implict record type arguments
|
2020-04-17 12:22:36 +01:00 |
|
rewrite001
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
search001
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
|
search002
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
search003
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
search004
|
Put built ttcs in build/ttc, rather than build
|
2019-09-04 12:41:16 +01:00 |
|
search005
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
|
total001
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
|
total002
|
More documentation refreshing
|
2020-02-25 22:18:02 +00:00 |
|
total003
|
More documentation refreshing
|
2020-02-25 22:18:02 +00:00 |
|
with001
|
Implement occurs check properly (finally!)
|
2020-04-27 12:17:45 +01:00 |
