-
🌱 I’m currently learning Rust, Lean 4, OCaml, Functional Programming, Category theory
-
📫 How to reach me [email protected]
- Javascript / Typescript
- OCaml
- Rust
- Lean
- Haskell (a little)
- HTML / CSS
- React
- Chakra UI
- Effect-ts
- tailwind css
- git
- node.js
- fp-ts