Edwin Brady 65db4fbf96 Put built ttcs in build/ttc, rather than build ... This is so that we can put other build artefacts (e.g. executables) in properly organised subdirectories of build, e.g. build/bin/chez, build/bin/js, etc.		2019-09-04 12:41:16 +01:00
..
expected	Change main program to be Idris2	2019-06-09 11:58:29 +01:00
Functor.yaff	Block reduction of private/export names	2019-06-15 16:10:01 +01:00
input	Extend unification so that Functors work	2019-05-26 18:41:48 +01:00
run	Put built ttcs in build/ttc, rather than build	2019-09-04 12:41:16 +01:00