Skip to content

Instantly share code, notes, and snippets.

@zraffer

zraffer/Auto.agda

Created November 30, 2014 19:47
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 zraffer/5ca7796c9583a8df860e to your computer and use it in GitHub Desktop.
Save zraffer/5ca7796c9583a8df860e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Auto.agda
module Auto where
mutual
data T1 : Set where
Mk1 : T1
Mk2 : T2 Mk1 -> T1
data T2 : T1 -> Set where
Mk0 : T2 Mk1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment