MarcelineVQ/sdfsd.idr

Created September 5, 2020 03:01

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

Download ZIP

Raw

	public export
	Semigroup a => Semigroup (Managed a) where
	x <+> y = [\| x <+> y \|]

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