Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
A little course for Habito engineers to learn about some of the more obscure GHC extensions.
What would TEA look like if we had no VDOM?
Examples and exercises from the blog series
Idris-written, correct-by-construction, simply-typed lambda calculus.
An introduction to common PureScript operators through the only truly universal language.
in the last year
Press h to open a hovercard with more details.