LukaHorvat/TypeLevel.hs

Created December 3, 2014 09:05

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

Download ZIP

Raw

TypeLevel.hs

	class Equal x y b \| x y -> b
	instance Equal x x True
	instance Not True b => Equal x y b

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