Safe Haskell | None |
---|---|
Language | Haskell2010 |
Free variable check that reduces the subject to make certain variables not free. Used when pruning metavariables in Agda.TypeChecking.MetaVars.Occurs.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Free variable check that reduces the subject to make certain variables not free. Used when pruning metavariables in Agda.TypeChecking.MetaVars.Occurs.