Skip to content
GitLab
Explore
Sign in
FP
ghostcell
Repository
ghostcell
theories
typing
type.v
Find file
Blame
History
Permalink
TyWf typeclass for describing lifetime constraints derived from the syntactic structure of types.
· 22bff972
Jacques-Henri Jourdan
authored
Mar 24, 2017
22bff972