Proving stuff in Haskell

Date: 13:15 28/10-16
Location:
Host(s): Mads Buch

In this talk we will prove commutivity of addition in Haskell. Afterwards We will think about the consequences of this, and whether we even did an actual proof!

Evaluation

Login to evaluate.