| .. |
|
basic001
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
basic002
|
Add test script
|
2020-05-19 18:25:18 +01:00 |
|
basic003
|
add parens for some TTImp Shows
|
2020-06-06 17:16:43 -07:00 |
|
basic004
|
Add test script
|
2020-05-19 18:25:18 +01:00 |
|
basic005
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
basic006
|
[ new ] Add Int(8/16/32/64) (#1352)
|
2021-05-04 08:22:06 +01:00 |
|
coverage001
|
[ new ] Add Int(8/16/32/64) (#1352)
|
2021-05-04 08:22:06 +01:00 |
|
coverage002
|
[ new ] Add Int(8/16/32/64) (#1352)
|
2021-05-04 08:22:06 +01:00 |
|
dot001
|
[ new ] Add Int(8/16/32/64) (#1352)
|
2021-05-04 08:22:06 +01:00 |
|
eta001
|
Implement new application syntax
|
2020-10-01 12:43:43 +03:00 |
|
eta002
|
[ fix #1370 ] use the lambda's type for eta-expansion
|
2021-05-10 12:13:29 +01:00 |
|
lazy001
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
nest001
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
nest002
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
perf001
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
perf002
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
perf003
|
Correct multiplicities when checking Pi binders
|
2021-03-09 17:23:05 +00:00 |
|
qtt001
|
adjusted source positions in failing tests
|
2021-01-22 15:08:49 +00:00 |
|
qtt003
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
record001
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
record002
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
record003
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
total001
|
Add test script
|
2020-05-19 18:25:18 +01:00 |
|
total002
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
total003
|
Add test script
|
2020-05-19 18:25:18 +01:00 |
