Edwin Brady 5a3aa3b13c Some fixes for as patterns, add them implicitly ... Much of the effort in renaming is to make types of holes display more nicely!		2019-06-09 23:12:11 +01:00
..
expected	Some fixes for as patterns, add them implicitly	2019-06-09 23:12:11 +01:00
input	First attempt at linearity checking pass	2019-05-19 20:24:14 +01:00
QTT.yaff	First attempt at linearity checking pass	2019-05-19 20:24:14 +01:00
run	Change main program to be Idris2	2019-06-09 11:58:29 +01:00