All posts

Generative Art With Haskell: A Start

2019-07-04•fp art

A Fake Drum Language App

2019-06-29•elm

The Greenhouse Equation

2019-06-25•climate-change

Type Theory, Agda and Some Good Books Thereon

2019-06-02•fp