Packages tagged type-level
3 packages have this tag.
- computational-algebra library: Well-kinded computational algebra library, currently supporting Groebner basis. (algebra, bsd3, library, math, type-level)
- equational-reasoning library: Proof assistant for Haskell using DataKinds & PolyKinds (bsd3, library, math, proof, type-level)
- monomorphic library: Library to convert polymorphic datatypes to/from its monomorphic represetation (bsd3, generic, library, type-level)