Skip to content

Instantly share code, notes, and snippets.

@rntz

rntz/inheritance.agda

Created August 3, 2017 19:18
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 rntz/10397d4b78f1b8d62bdb66a78c96001e to your computer and use it in GitHub Desktop.
Save rntz/10397d4b78f1b8d62bdb66a78c96001e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
inheritance.agda
record A : Set1 where field obj : Set
record B : Set1 where
field {{super}} : A
open A super public
open A public
open B public
foo : A -> Set
foo = obj
bar : B -> Set
bar = obj -- why doesn't this work?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment