🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
-
22:21
(UTC) - https://cstml.github.io
- https://ko-fi.com/cstml
Popular repositories Loading
-
batch-renderer-rhino-vray
batch-renderer-rhino-vray PublicA tool for Batch Rendering in Rhino using VRay 3
-
haskellweekly
haskellweekly PublicForked from haskellweekly/haskellweekly
Publishes curated news about the Haskell programming language.
Haskell 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.