Edwin Brady 67a43e0000 Check names are visible/public		2019-06-24 00:12:58 +01:00
..
expected	Check names are visible/public	2019-06-24 00:12:58 +01:00
input	Add a test for non linear LHS	2019-05-19 20:30:27 +01:00
QTTEq.yaff	Check pattern variables don't unify with things	2019-05-25 20:18:43 +01:00
run	Change main program to be Idris2	2019-06-09 11:58:29 +01:00