implement syntax - Githubissues

jonsterling / racket-grit

Grit: the kernel around which a PRL forms

Other

3 stars 0 forks source link

implement syntax #1

Closed jonsterling closed 7 years ago

jonsterling commented 7 years ago

[x] telescopes
[x] multi-pi types
[x] * atomic type (a "kind" for user-defined types)
[x] multi-lambda terms
[x] variable+spine application terms