Skip to content

Instantly share code, notes, and snippets.

@BekaValentine

BekaValentine/gist:1dab408b0cd732bac645e25b2554c668

Created March 29, 2016 19:36
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save BekaValentine/1dab408b0cd732bac645e25b2554c668 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save BekaValentine/1dab408b0cd732bac645e25b2554c668 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
data Tm : Nat -> Set where
var : forall {n} -> Fin n -> Tm n
lam : forall {n} -> Tm (suc n) -> Tm n
app : forall {n} -> Tm n -> Tm n -> Tm n
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment