-
Kim Nguyễn authored
Fix typing of application. Apply the polymorphic code when either the function or its argument have variables.
f93a6ba1
Fix typing of application. Apply the polymorphic code when either the function or its argument have variables.