andreolf-da/key.hs

Created February 15, 2021 15:16

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/andreolf-da/9e31bfa88d2c841b99e153f05b193bf2.js"></script>
Save andreolf-da/9e31bfa88d2c841b99e153f05b193bf2 to your computer and use it in GitHub Desktop.

Download ZIP

key

Raw

key.hs

	key (agency, registerId) : (Party, Text)
	maintainer key._1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment