rhiannon morris b8a46175e1 untyped λ calculus syntax		2023-10-22 19:18:38 +02:00
..
Syntax.idr	untyped λ calculus syntax	2023-10-22 19:18:38 +02:00