Skip to content

Instantly share code, notes, and snippets.

@david-christiansen

david-christiansen/AppendAssoc.idr

Created May 20, 2015 18:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save david-christiansen/dd51c0e36f2bd2748e5b to your computer and use it in GitHub Desktop.
Save david-christiansen/dd51c0e36f2bd2748e5b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
AppendAssoc.idr
mutual
class Foo a where
foo : a -> Type
bar : (x : a) -> foo @{nonsense} x -> Int
instance Foo a where
foo x = Nat
bar x n = 354
instance [nonsense] Foo a where
foo x = String
bar x str = 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment