1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
# Nix HackTM CTF - 'know your lambda calculus' challenge dev setup Get a shell: ``` $ nix develop ``` Exec solve script: ``` python3 solve.py ```