qnikst / okasaki
solutions for book C. Okasaki purely functional data structures
☆58Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for okasaki
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Updated 14 years ago
- Extensible records, variants, structs, effects, tangles☆128Updated last month
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- free monads☆161Updated 5 months ago
- A collection of Notes on GHC☆70Updated 5 years ago
- ☆28Updated 6 years ago
- Purely functional objects☆73Updated 3 years ago
- Generic parser combinators☆88Updated 2 weeks ago
- formalization of the Dependent Object Types (DOT) calculus☆154Updated 8 years ago
- Extensible Effects: An Alternative to Monad Transformers☆175Updated 3 years ago
- Difference lists in Haskell☆65Updated 4 months ago
- Java parser and printer for haskell☆67Updated 3 years ago
- Dive into GHC☆82Updated 7 years ago
- ☆124Updated 11 months ago
- The missing tutorial module for the lens library☆81Updated 5 months ago
- Text and Haskell source for my blog series on recursion schemes.☆44Updated 2 years ago
- ☆34Updated 8 years ago
- ☆50Updated 9 years ago
- A Haskell/Hspec skeleton project☆91Updated last year
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 3 years ago
- Library for dealing with system processes☆87Updated 3 weeks ago
- Happy Haskell Programming☆67Updated 9 months ago
- ☆87Updated 6 years ago
- Dependently Typed Lambda Calculus in Haskell☆111Updated 3 years ago
- Solutions for Okasaki's "Purely functional data structures" book☆44Updated 11 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Check properties on standard classes and data structures☆79Updated 10 months ago
- My own little "24 Days of Hackage" for 2015☆62Updated 7 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆82Updated 5 months ago
- Some useful control operators for looping☆47Updated 4 years ago