@hackage / parameterized-data

Parameterized data library implementing lightweight dependent types

0.1.6

Dependents

@hackage / ForSyDe ForSyDe's Haskell-embedded Domain Specific Language.
- Version: 3.1.1
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / forsyde-deep ForSyDe's Haskell-embedded Domain Specific Language.
- Version: 0.2.0
- Last uploaded: 7 years ago
- License: BSD-3-Clause