| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Erasure
Documentation
performUsageAnalysis :: [Name] -> Idris [Name] Source
mkFieldName :: Name -> Int -> Name Source
idris-0.10: Functional Programming Language with Dependent Types
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Idris.Erasure
performUsageAnalysis :: [Name] -> Idris [Name] Source
mkFieldName :: Name -> Int -> Name Source