Edwin Brady e6f6c105d1 Reflection primitives for querying names/types ... See reflection003 test for some examples		2020-06-01 14:26:37 +01:00
..
TT.idr	Reflection primitives for querying names/types	2020-06-01 14:26:37 +01:00
TTImp.idr	Add syntax for quoting names	2020-06-01 13:39:18 +01:00