Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/custom_billing_account.idr

Created June 13, 2017 11:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/18468e9fd9b67e9fc4ab667b1758b1bc to your computer and use it in GitHub Desktop.
Save deque-blog/18468e9fd9b67e9fc4ab667b1758b1bc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
custom_billing_account.idr
custom_billing_account : Customer -> Bool
custom_billing_account customer =
address customer /= address (account customer)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment