Safe Haskell | None |
---|---|
Language | Haskell2010 |
Compute eta long normal forms.
Synopsis
- etaExpandOnce :: Type -> Term -> TCM Term
- deepEtaExpand :: Term -> Type -> TCM Term
- etaExpandAction :: Action
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Compute eta long normal forms.