Open LightAndLight opened 2 years ago
When :type returns a type containing metavariables, they appear in the printed output.
:type
e.g.
> :type \x y -> x ?0 -> ?1 -> ?0
in Repl::type_of, rename the replace the metavariables with type variables. The above example should return something like a -> b -> a.
Repl::type_of
a -> b -> a
When
:type
returns a type containing metavariables, they appear in the printed output.e.g.
in
Repl::type_of
, rename the replace the metavariables with type variables. The above example should return something likea -> b -> a
.