 |
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!EvaluationLogin to evaluate. |
