prednaz/LinearExample.hs

Created January 25, 2022 20:21

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/prednaz/9252e2692060dc78d0e975f916b31d57.js"></script>
Save prednaz/9252e2692060dc78d0e975f916b31d57 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

LinearExample.hs

	{-# language LinearTypes #-}

	module LinearExample where

	id :: a ⊸ a
	id a = a

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