ghc-typelits-natnormalise
A type checker plugin for GHC that can solve equalities and inequalities of types of kind Nat, where these types are either: Type-level…
More in Haskell packages
All 1,000- curl
- operational
- LambdaHack LambdaHack is a Haskell game engine library for ASCII roguelike games of arbitrary theme, size and complexity, with optional tactical…
- text-stream-decode
- extensible-effects-concurrent
- fixed-vector
- html
- BiobaseXNA This is a base library for bioinformatics with emphasis on RNA and DNA primary structure as well as amino acid sequences.
- tasty-rerun This ingredient for the tasty testing framework allows filtering a test tree depending on the outcome of the previous run.
- pinboard The Pinboard API is a way to interact programatically with your bookmarks, notes and other Pinboard data.
- bytestring-mmap
- rio