Rachel Lambda Samuelsson 645f923848 align arrows		2022-08-06 02:32:09 +02:00
..
Core	align arrows	2022-08-06 02:32:09 +02:00
Parser	slight parser optimization	2022-08-01 18:26:13 +02:00
Main.idr	definition system, repl	2022-07-26 23:07:13 +02:00