Tag: fp

Generative Art With Haskell: A Start

Type Theory, Agda and Some Good Books Thereon