cannot_solve.md - lambda - hacktm ctf 2023 / misc / know your lambda calculus

about summary refs log tree commit diff

path: root/cannot_solve.md

blob: ed291bec6c36c37ed92d53ce8a66f85a87823a99 (plain)

1
2
3

# cannot solve

- `(λa b. a λc. c c a) | (λa b. a λc. c c b)`