- 🔭 I'm currently working on:
- Improving the number of available packages in Nixpkgs on macOS.
- Working through Programming Language Foundations
- 🌱 I'm currently learning about logic, differential geometry, analysis and connections between category theory and functional programming.
- 👯 I'm looking to collaborate on large scale functional programming projects and formal verification efforts.
- 🤔 I'm looking for help with organizing and developing mathematical theories in Coq.
- 💬 Ask me about blockchain (Ethereum, Bitcoin), recursion schemes, type systems and compilers for functional and imperative languages.
- 📫 How to reach me: Send me an email, or reach me on IRC (siraben)!
Nix, Emacs, Haskell, Coq, C, Forth, Scheme, Assembly, Z80, Git
Type theory, category theory, logic, abstract algebra, topology