Skip to content
GitLab
Explore
Sign in
Register
Wiki pages
typechecking
typeable
with typeable
ben gamari
typeable t
type ntas
alternative singletins
type nats
singletons and kinds
singletons and existentials
rules
rule notation
operations
naturals
matching on nats
leq
interact2
interact1
inductive definitions
implicit explicit
implementation
Prev
1
2
3
4
5
6
7
…
56
Next