Skip to content
GitLab
Explore
Sign in
FP
ghostcell
Repository
ghostcell
theories
typing
type.v
Find file
Blame
History
Permalink
show that we can covnert 'a to 'static if the function never returns
· 56b22fc3
Ralf Jung
authored
Aug 24, 2017
56b22fc3