Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
typing
typer.ml
Find file
Blame
History
Permalink
Change the Forget operator so that it uses the tallying and not the subtyping.
· 239dfe25
Kim Nguyễn
authored
Nov 06, 2015
For instance : let f : Int -> Int = (fun ('a -> 'a) x -> x) is now accepted.
239dfe25