|
Dot2.yaff
|
Implement dot patterns
|
2019-05-25 18:39:21 +01:00 |
|
Dot3.yaff
|
Improve dot patterns
|
2019-07-04 23:16:08 +01:00 |
|
Dot4.yaff
|
Improve dot patterns
|
2019-07-04 23:16:08 +01:00 |
|
Dot.yaff
|
Implement dot patterns
|
2019-05-25 18:39:21 +01:00 |
|
expected
|
Update test output
|
2020-05-13 19:06:22 +01:00 |
|
run
|
Change main program to be Idris2
|
2019-06-09 11:58:29 +01:00 |
