andorp / order-taking
Idris version of Domain Modeling Made Functional Book.
☆134Updated 3 years ago
Alternatives and similar repositories for order-taking:
Users that are interested in order-taking are comparing it to the libraries listed below
- Source material for Algebra-Driven Design☆141Updated last year
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- ☆78Updated 6 months ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- Random DDD related things in Haskell☆48Updated 7 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆94Updated 5 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture mo…☆192Updated last year
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆205Updated 11 months ago
- A logical authorization system☆50Updated 3 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆157Updated 3 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 5 years ago
- CQL: Categorical Query Language implementation in Haskell☆169Updated last year
- TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell☆47Updated 2 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Working through the Thinking with Types book in Haskell☆35Updated 4 years ago
- Code and materials for my book "Pragmatic Type Level Design"☆125Updated last month
- ☆89Updated 3 years ago
- Community curated list of companies that use Purescript☆139Updated 3 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- A test framework for Idris☆54Updated 6 years ago
- ☆49Updated 5 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- Extensional capabilities and deriving combinators☆214Updated 8 months ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Updated 6 years ago