fpco / schoolofhaskell.com
☆16Updated 4 years ago
Related projects: ⓘ
- A port of QuickCheck to Idris☆57Updated 6 years ago
- the EitherT monad transformer☆55Updated 4 months ago
- Some useful control operators for looping☆47Updated 4 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 weeks ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- Deep evaluation of data structures☆40Updated last week
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- haskell memory☆47Updated last year
- Hackage search engine☆56Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 2 months ago
- Instances for QuickCheck classes☆13Updated last month
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆19Updated last month
- Haskell library for glob matching☆24Updated 2 years ago
- Simple adjunctions☆44Updated 11 months ago
- ☆34Updated 8 years ago
- ☆44Updated 6 months ago
- Haskell 98 Profunctors☆70Updated 2 months ago
- URI manipulation facilities☆25Updated 3 weeks ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆18Updated 6 years ago
- mtl friendly exceptions☆49Updated 3 months ago
- Lightweight package providing commonly useful parser combinators☆52Updated 3 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Type-safe error handling☆64Updated 11 months ago
- ☆23Updated 9 years ago
- Core modules for a blazing fast markup combinator library☆20Updated 2 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- Type-safe time units in Haskell☆49Updated 8 months ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago