Add support for inferred binders in terms
We should be able to compile the following program:
id' :: forall {a}. a -> a
id' x = xAnd get the kindchecked and translated type: id : \forall {a : Type}. a -> a
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
We should be able to compile the following program:
id' :: forall {a}. a -> a
id' x = xAnd get the kindchecked and translated type: id : \forall {a : Type}. a -> a