rhiannon morris bb8d2464af add fst and snd		2023-09-18 21:53:38 +02:00
..
Coercion.idr	add fst and snd	2023-09-18 21:53:38 +02:00
ComputeElimType.idr	add fst and snd	2023-09-18 21:53:38 +02:00
Interface.idr	add fst and snd	2023-09-18 21:53:38 +02:00
Main.idr	add fst and snd	2023-09-18 21:53:38 +02:00
TypeCase.idr	pass the subject quantity through equality etc	2023-09-18 21:53:38 +02:00