-
Guillaume Melquiond authored
Use coercions on the argument of an application even when the callee is not a symbol (partly fixes #72).
45740870
Use coercions on the argument of an application even when the callee is not a symbol (partly fixes #72).