andorp / order-takingLinks
Idris version of Domain Modeling Made Functional Book.
☆142Updated 4 years ago
Alternatives and similar repositories for order-taking
Users that are interested in order-taking are comparing it to the libraries listed below
Sorting:
- ☆79Updated last year
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Source material for Algebra-Driven Design☆152Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Random DDD related things in Haskell☆48Updated 8 years ago
- Code and materials for my book "Pragmatic Type Level Design"☆146Updated 7 months ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- The category theory by example book☆59Updated 2 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 4 years ago
- Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…☆193Updated last year
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆197Updated last year
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆53Updated 6 years ago
- A test framework for Idris☆55Updated 6 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆95Updated 5 years ago
- Compositional Representable Executable Machines☆121Updated 2 weeks ago
- Embedded specification language & model checker in Haskell☆175Updated 6 months ago
- ☆38Updated 6 years ago
- Who Wants to Be a Millionaire - but with types☆89Updated 2 years ago
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆71Updated 2 years ago
- Fast and simple JSON encoding toolkit☆84Updated last year
- Introduction to algebraic effects and handlers☆98Updated 7 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Community curated list of companies that use Purescript☆142Updated 11 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆209Updated 2 weeks ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 3 years ago