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