jstolarek / why-dependent-types-matterLinks
Companion code for "Why Dependent Types Matter" paper.
☆60Updated 6 years ago
Alternatives and similar repositories for why-dependent-types-matter
Users that are interested in why-dependent-types-matter are comparing it to the libraries listed below
Sorting:
- a simple functional language for learners☆30Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- The Spire Programming Language☆59Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Open records for Haskell☆22Updated 7 years ago
- ☆23Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- ☆24Updated 8 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 9 months ago
- ☆23Updated 8 years ago
- A constant-memory approximation of set membership☆25Updated 4 months ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Lift control operations, like exception catching, through monad transformers☆58Updated 2 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago