🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
-
12:03
(UTC) - https://cstml.github.io
Block or Report
Block or report cstml
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSearch results
0 open and 0 closed projects found.-
There aren't any projects yet