Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/sdfgsd.idr

Created December 23, 2020 06:29
Show Gist options
  • Save MarcelineVQ/4034da0197b71a9452ed30c38295bcc8 to your computer and use it in GitHub Desktop.
Save MarcelineVQ/4034da0197b71a9452ed30c38295bcc8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sdfgsd.idr
infixr 3 `foober`
infix 8 @@@
foober : Int -> Int -> Int
foober = ?fsdsdf
(@@@) : Int -> Int -> Int
x @@@ y = ?dsfsfdsfd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment