shmish111/C.idr

Created August 11, 2019 17:52

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

Download ZIP

Raw

C.idr

	module C

	f : a -> a
	f x = f' x
	where
	-- f' : a -> a
	f' x = x

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