Safe Haskell | None |
---|---|
Language | Haskell98 |
Idris.Core.Binary
Description
Binary instances for the core datatypes
idris-0.10.1: Functional Programming Language with Dependent Types
Safe Haskell | None |
---|---|
Language | Haskell98 |
Idris.Core.Binary
Description
Binary instances for the core datatypes