skaslev / why-types
Why Types Matter
☆45Updated 8 years ago
Alternatives and similar repositories for why-types:
Users that are interested in why-types are comparing it to the libraries listed below
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- A workspace for research teams☆105Updated 5 years ago
- Example-based Haskell Documentation Engine☆59Updated 5 years ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- A more elegant specification for FRP☆24Updated last year
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- 📚 A softer alternative to Haddock☆106Updated 5 years ago
- Programming in Haskell Materials - Footnotes and Tutorials☆25Updated 7 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- ☆33Updated 9 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- List monad transformer☆60Updated 11 months ago
- JVM implementation in Haskell☆44Updated 7 months ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Comma (and other) separated values☆78Updated last year
- ☆72Updated 7 years ago
- Difference lists in Haskell☆65Updated 10 months ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- ☆94Updated 8 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- ☆42Updated 9 years ago
- complexity testing for haskell☆48Updated 9 years ago