Matei Adriel ca3f83d186 Move stuff around + add lean and idris experiments		2023-10-29 00:02:10 +02:00
..
Ast.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Fin.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Main.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Num.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Ordering.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Term.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00
Vec.purs	Move stuff around + add lean and idris experiments	2023-10-29 00:02:10 +02:00