Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/fasfd.idr

Created August 7, 2020 14:54
Show Gist options
  • Save MarcelineVQ/684309cf23bf8da840a95e0c52ee8568 to your computer and use it in GitHub Desktop.
Save MarcelineVQ/684309cf23bf8da840a95e0c52ee8568 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fasfd.idr
record Fef1 a {auto g : Num a} where
constructor Raf1
fef : a -> a
blopo1 : Num a => a -> Fef1 a
blopo1 r = Raf1 (+r)
record Fef2 a where
constructor Raf2
fef2 : Num a => a -> a
blopo2 : a -> Fef2 a
blopo2 r = Raf2 (+r)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment