Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
types.ml
Find file
Blame
History
Permalink
Revert "Make fresh variables really fresh"
· 46a5262a
Pietro Abate
authored
Oct 03, 2014
This reverts commit
c9ad3e5c
. Conflicts: types/var.ml typing/typer.ml
46a5262a