Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/custom_billing_account_2.idr

Created June 13, 2017 11:50
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/cbfa2e7d5601c9a35539738e01e264f7 to your computer and use it in GitHub Desktop.
Save deque-blog/cbfa2e7d5601c9a35539738e01e264f7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
custom_billing_account_2.idr
custom_billing_account : Customer -> Bool
custom_billing_account customer =
Customer.address customer /= Account.address (account customer)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment