Skip to content
GitLab
Explore
Sign in
Xavier Denis
lambda-rust
Repository
lambda-rust
theories
typing
lft_contexts.v
Find file
Blame
History
Permalink
show variant of equalization with the static lifetime
· 57f71459
Ralf Jung
authored
Feb 11, 2021
57f71459