MarcelineVQ/gist:24224f3d1d3c01a39bb9179ca3c45d06

Created October 23, 2019 22:42

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/MarcelineVQ/24224f3d1d3c01a39bb9179ca3c45d06.js"></script>
Save MarcelineVQ/24224f3d1d3c01a39bb9179ca3c45d06 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

gistfile1.txt

	interface Foo a where
	Gob : Type
	plu : a -> Gob -> Gob

	implementation
	Foo Char where
	Gob = List Char
	plu = (::)

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