| Safe Haskell | None |
|---|
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
Documentation
translate :: Typ -> TypeExpressionSource
free-theorems-seq-1.0: Taming Selective Strictness
| Safe Haskell | None |
|---|
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
translate :: Typ -> TypeExpressionSource