@hackage th-desugar dependents

9 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.4
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
BSD-3-Clausev0.7.0.2
@hackage/optparse-generic
Auto-generate a command-line parser for your datatype
BSD-3-Clausev1.5.2
@hackage/plugins-multistage
Dynamic linking for embedded DSLs with staged compilation
BSD-3-Clausev0.6.3
@hackage/singletons
Basic singleton types and definitions
BSD-3-Clausev3.0.2
@hackage/singletons-base
A promoted and singled version of the base library
BSD-3-Clausev3.3
@hackage/singletons-th
A framework for generating singleton types
BSD-3-Clausev3.3
@hackage/units
A domain-specific type system for dimensional analysis
BSD-3-Clausev2.4.1.5