🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
- https://cstml.github.io
- https://ko-fi.com/cstml
Search results
0 open and 0 closed projects found.-
There aren't any projects yet