Human/programming language enthusiast.
Pinned Loading
-
sugar
sugar PublicSimply Typed Lambda Calculus with Hindley-Milner type inference and fixed-point recursion.
Haskell
-
Every Gist I've written.
Every Gist I've written. 1The originality of these Gists varies drastically. Most are inspired by the work of others, in that case, all merit goes to the original authors. I have linked everything used as reference material on the Gists themselves.
23# Haskell
45- [Crégut's strongly reducing Krivine abstract machine](https://gist.github.com/pedrominicz/4ba8bc8f9ff04f120612856684e68f49)
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.