🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
-
14:31
(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
-
-
light-cutter
light-cutter PublicA 3DSMax sccript that allows the user to create a perforation into any volume in such a way that it allows for light to form a specific shape at a specific time of the day.
MAXScript
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.