|
expected
|
Don't let tests depend on colouring.
|
2015-04-01 20:50:06 +02:00 |
|
run
|
Don't let tests depend on colouring.
|
2015-04-01 20:50:06 +02:00 |
|
unique001.idr
|
Store kind in Pi binders
|
2014-08-22 19:58:59 +01:00 |
|
unique001a.idr
|
Fix output of unique001a
|
2014-08-22 20:34:54 +01:00 |
|
unique001b.idr
|
Add Borrowed types
|
2014-08-21 22:38:58 +01:00 |
|
unique001c.idr
|
Pair syntax for unique types
|
2015-02-19 11:09:15 +00:00 |
|
unique001d.idr
|
Fix borrowed type check
|
2014-08-22 00:12:58 +01:00 |
|
unique001e.idr
|
Add missing test
|
2014-08-21 23:09:53 +01:00 |
