@hackage / liquid-base

base specs for LiquidHaskell

Deprecated package4.15.1.0

Dependents

@hackage / cl3 Clifford Algebra of three dimensional space.
- Version: 3.0.0.0
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / cl3-posit Clifford Algebra of three dimensional space, implemented with Posit numbers.
- Version: 1.0.0.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / grow-vector Mutable vector with efficient appends
- Version: 0.1.5.0
- Last uploaded: 3 years ago
- License: MIT
@hackage / liquid-bytestring Old specs for the bytestring package
- Version: 0.10.12.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / liquid-containers Old specs for containers
- Version: 0.6.4.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / liquid-parallel LiquidHaskell specs for the parallel package
- Version: 3.2.2.0.3
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / liquid-platform A battery-included platform for LiquidHaskell
- Version: 0.9.2.8
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / liquid-prelude General utility modules for LiquidHaskell
- Version: 0.9.14.1
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / liquid-vector LiquidHaskell specs for the vector package
- Version: 0.13.1.0.2
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / posit Posit Numbers
- Version: 2022.2.0.3
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / safe-coupling Relational proof system for probabilistic algorithms
- Version: 0.1.0.1
- Last uploaded: 4 years ago
- License: BSD-3-Clause