rhiannon morris 84ef66de41 untyped λ calculus syntax		2023-09-24 17:40:02 +02:00
..
Syntax.idr	untyped λ calculus syntax	2023-09-24 17:40:02 +02:00