| 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