takenobu-hs / type-introduction-illustrated
Haskell type introduction illustrated
☆17Updated 7 years ago
Alternatives and similar repositories for type-introduction-illustrated:
Users that are interested in type-introduction-illustrated are comparing it to the libraries listed below
- a simple functional language for learners☆30Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- ☆23Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- Structured logging solution.☆35Updated last year
- List monad transformer☆60Updated 9 months ago
- A Haskell text formatting library optimized for ease of use and high performance.☆32Updated last year
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 4 months ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Auto-generate a server for your datatype☆30Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 3 months ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 3 weeks ago
- Spacemacs Layer for LiquidHaskell☆13Updated 7 years ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- Deep evaluation of data structures☆41Updated 5 months ago
- Fingertrees of Bytestrings☆19Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago