jjant/FreeMonoid1.hs

Created September 9, 2018 19:35

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

Select an option

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

Download ZIP

First attempt at writing a free monoid

Raw

FreeMonoid1.hs

	data FreeMonoid1 t
	= Zero
	\| Val t
	\| Combine (FreeMonoid1 t) (FreeMonoid1 t)

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