🦡
λ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
Stars
cardano
2 repositories
LambdaBuffers toolkit for sharing types and their semantics between different languages