🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
-
05:38
(UTC) - https://cstml.github.io
- https://ko-fi.com/cstml
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.