andorp / order-taking
Idris version of Domain Modeling Made Functional Book.
☆132Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for order-taking
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…☆191Updated 10 months ago
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- Source material for Algebra-Driven Design☆136Updated 11 months ago
- ☆74Updated 2 months ago
- Code and materials for my book "Pragmatic Type Level Design"☆74Updated this week
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆92Updated 5 years ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- ☆89Updated 2 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 3 years ago
- Effects libraries in Haskell☆72Updated last year
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- ☆47Updated 5 years ago
- Embedded specification language & model checker in Haskell☆175Updated last year
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 11 months ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Updated 6 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- A Haskell blog☆124Updated 4 months ago
- Introduction to algebraic effects and handlers☆92Updated 6 years ago
- Extensional capabilities and deriving combinators☆214Updated 4 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆155Updated 3 years ago
- A Haskell implementation of realworld.io☆53Updated 8 months ago
- Language Server for Idris2☆163Updated this week
- 🍰🔪 Architecture of Haskell backend applications☆132Updated last year
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆51Updated 5 years ago
- Random DDD related things in Haskell☆47Updated 7 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- A logical authorization system☆50Updated 2 years ago
- An implementation of Pie in Haskell☆204Updated 5 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago