chiroptical / optics-by-example
Working through https://leanpub.com/optics-by-example by Chris Penner
☆9Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for optics-by-example
- Working through the Thinking with Types book in Haskell☆34Updated 4 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆26Updated 4 years ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 3 years ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- ☆10Updated 4 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Frost☆19Updated 4 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Dual Traversable☆41Updated last year
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆31Updated 9 years ago
- Synchronous programming in Haskell☆17Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Eta bindings to Kafka☆15Updated 7 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Wailing into the primordial ooze of category theory☆54Updated last month
- Isomorphic Reasoning: Counting with Types☆37Updated 4 years ago
- ☆24Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Safe web routing in haskell☆30Updated last year
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 4 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago