@hackage th-desugar dependents

8 results

@hackage/autoapply
Template Haskell to automatically pass values to functions
BSD-3-Clausev0.4.1.3
@hackage/eliminators
Dependently typed elimination functions using singletons
BSD-3-Clausev0.9.6
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
BSD-3-Clausev0.7.1.0
@hackage/optparse-generic
Auto-generate a command-line parser for your datatype
BSD-3-Clausev1.5.2
@hackage/singletons
Basic singleton types and definitions
BSD-3-Clausev3.0.4
@hackage/singletons-base
A promoted and singled version of the base library
BSD-3-Clausev3.5
@hackage/singletons-th
A framework for generating singleton types
BSD-3-Clausev3.5
@hackage/units
A domain-specific type system for dimensional analysis
BSD-3-Clausev2.4.1.5