Dots1.idr
|
More tests from Blodwen
|
2019-06-27 19:33:02 +01:00 |
Dots2.idr
|
More tests from Blodwen
|
2019-06-27 19:33:02 +01:00 |
Dots3.idr
|
More tests from Blodwen
|
2019-06-27 19:33:02 +01:00 |
expected
|
Add prettyName
|
2020-03-18 19:33:19 +00:00 |
run
|
More tests from Blodwen
|
2019-06-27 19:33:02 +01:00 |