# fib

## [`braxtonhall`](https://github.com/braxtonhall)
- [`adam`](./entries/braxtonhall/adam/main.py) (WIP)
- [`express`](./entries/braxtonhall/express/index.js)
- [`homework`](./entries/braxtonhall/homework/fib.cpp)
- [`types`](./entries/braxtonhall/types/index.ts)
<!-- - `smt` compiles to SMT, and the solver gives you the fib sequence -->
<!-- - `imperitive-church` imperitive implementation in the lambda calculus -->