Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
typing
typer.ml
Find file
Blame
History
Permalink
Correctly refresh the type of the variables of t in a Forget(e,t) expression to
· 675bf1f4
Kim Nguyễn
authored
Nov 06, 2015
avoid a clash with variables in e.
675bf1f4