Proving Algebraic Datatypes Are “Algebraic”soap.coffee4 points·sendilkumarn··0 commentsOpen articleSaveView on HN