Skip to content

Instantly share code, notes, and snippets.

@prednaz
Created January 25, 2022 20:21
Show Gist options
  • Save prednaz/9252e2692060dc78d0e975f916b31d57 to your computer and use it in GitHub Desktop.
Save prednaz/9252e2692060dc78d0e975f916b31d57 to your computer and use it in GitHub Desktop.
{-# 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