mkallmayer/1-0

major proof

Proof of the famous 1-0 theorem

main-theorem : (one - zero) ≡ (one + zero)

(Using Phil Wadlers Programming Language Foundations in Agda to learn Agda)