Rachel Lambda Samuelsson 645f923848 align arrows		2022-08-06 02:32:09 +02:00
..
Check.idr	align arrows	2022-08-06 02:32:09 +02:00
Convert.idr	align arrows	2022-08-06 02:32:09 +02:00
Misc.idr	definition system, repl	2022-07-26 23:07:13 +02:00
Normalize.idr	align arrows	2022-08-06 02:32:09 +02:00
Term.idr	definition system, repl	2022-07-26 23:07:13 +02:00
Value.idr	identity types !	2022-07-26 06:09:57 +02:00