4 kyu

A+A=B+B so A=B? Prove it in Haskell!

Description
Loading description...
Theorem Proving
Functional Programming
Fundamentals
View
AllIssuesQuestionsSuggestionsShow Resolved
Ad
Ad