# Nix HackTM CTF - 'know your lambda calculus'

challenge dev setup

Get a shell:

```
$ nix develop
```

Exec solve script:

```
python3 solve.py
```