GeoffChurch/double_negation_elimination.hs

Last active March 22, 2022 20:24

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

Download ZIP

Double negation elimination in Haskell assuming universe of only 2 types: () and Void

Raw

double_negation_elimination.hs

	import Data.Void ( Void )

	dneFalse :: ((Void -> Void) -> Void) -> Void
	dneFalse f = f id

	dneTrue :: ((() -> Void) -> Void) -> ()
	dneTrue _ = ()

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