takenobu-hs / type-introduction-illustratedLinks
Haskell type introduction illustrated
☆17Updated 8 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
Sorting:
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A library simplifying user management for Haskell web applications☆51Updated 3 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- List monad transformer☆60Updated last year
- a simple functional language for learners☆30Updated 8 years ago
- Catchy combinators for HUnit☆37Updated 8 months ago
- Tagged Haskell learning resources index☆21Updated 9 years ago
- Reproducible builds for PureScript☆73Updated 7 years ago
- Compile PureScript into Haskell.☆68Updated 8 years ago
- ☆23Updated 8 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 7 months ago
- A functional web framework☆34Updated 3 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- Slides and code examples for a talk☆22Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- A more progressive alternative to the "base" package☆27Updated 11 months ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- Should I water my balcony?☆13Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- The paranoid bot (framework)☆54Updated 3 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated 2 weeks ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 3 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago