Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
sameCurrency : -- Predicate function
(m1, m2 : Money) -- * Taking two instances of Money
-> Dec (SameCurrency m1 m2) -- Returning a proof or a contradiction
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment