rcook / beginning-practical-haskell
An introductory Haskell programming course by Richard Cook
☆29Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for beginning-practical-haskell
- ☆38Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 9 years ago
- Fork of react-basic-starter using Package sets☆24Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- ☆28Updated 6 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- ☆40Updated 5 years ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- A data-type like Either but with an accumulating Applicative☆99Updated last year
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Example of React Bindings for PureScript☆46Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- ☆29Updated 5 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Js libraries for idris☆49Updated 4 years ago
- ☆75Updated 2 months ago
- ☆16Updated 4 years ago
- TodoMVC with purescript-react-basic☆54Updated last year
- ☆50Updated 9 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 3 weeks ago
- ☆47Updated 6 years ago