Klagarge 3036c77fb6
chore: init
Signed-off-by: Klagarge <remi@heredero.ch>
2025-03-22 22:03:02 +01:00

5 lines
62 B
Plaintext

(λx.λy.x y y) (λz.z) a
(λy.(λz.z) y y) a
(λz.z) a a
a a