Edwin Brady f5962e1ea4 Update test output		2020-05-13 19:06:22 +01:00
..
Ambig.yaff	Pay attention to visibility of names	2019-06-24 00:57:22 +01:00
expected	Update test output	2020-05-13 19:06:22 +01:00
input	Add test for failed delayed elaborator	2019-05-12 16:03:04 +01:00
run	Change main program to be Idris2	2019-06-09 11:58:29 +01:00