|
expected
|
make tests pass, tweaking repl's output
|
2019-10-31 07:14:46 +01:00 |
|
IEdit2.idr
|
Fix small error is as patterns
|
2019-06-24 15:30:36 +01:00 |
|
IEdit.idr
|
Remove trailing whitespace from Idris sources.
|
2019-10-25 14:24:25 -07:00 |
|
input
|
Fix small error is as patterns
|
2019-06-24 15:30:36 +01:00 |
|
input2
|
Fix small error is as patterns
|
2019-06-24 15:30:36 +01:00 |
|
run
|
Add '--no-banner' option
|
2019-09-24 20:26:25 +06:00 |
