Skip to content

Instantly share code, notes, and snippets.

@da-blog

da-blog/HealthClinicRole.hs

Created August 1, 2023 15:56
Show Gist options
  • Save da-blog/a79db8fe2640c5ab248e99640c39a8d1 to your computer and use it in GitHub Desktop.
Save da-blog/a79db8fe2640c5ab248e99640c39a8d1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
HealthClinicRole.hs
template HealthClinicRole
with
operator : Party
healthclinic : Party
healthclinicdetails : HealthClinicDetails
where
signatory operator, healthclinic
key (operator, healthclinic) : (Party, Party)
maintainer key._1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment