leastfixedpoint

Archived tweet #8550 from the @leastfixedpoint Twitter Archive
RT @lexi_lambda: Hindley-Milner + ADTs + typeclasses in a Racket #lang. :)