first-class-functions topic

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples....

thma

A compiler we made just for fun :^)

LensPlaysGames

A specialised computer algebra system for topos theory.

locusmath