from Hacker News

Proving Algebraic Datatypes Are “Algebraic”

by sendilkumarn on 7/12/20, 5:07 PM with 0 comments