chiroptical / thinking-with-typesLinks
Working through the Thinking with Types book in Haskell
☆35Updated 5 years ago
Alternatives and similar repositories for thinking-with-types
Users that are interested in thinking-with-types are comparing it to the libraries listed below
Sorting:
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- ☆44Updated 6 years ago
- ☆50Updated 5 years ago
- ☆80Updated 6 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Comonads By Example Conference talk☆89Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated 10 months ago
- First-class type families☆88Updated 3 weeks ago
- ☆37Updated 7 years ago
- ☆51Updated 3 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 5 years ago
- Source material for Certainty by Construction☆44Updated last year
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 2 months ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- 🏷 Web application to help beginners to start contributing into Haskell projects☆58Updated 4 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 2 weeks ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- ☆28Updated 7 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Easy instructions for setting up Haskell editors / IDEs on any major operating system.☆101Updated last year
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- ♾️ Sized list☆46Updated last year
- Wailing into the primordial ooze of category theory☆55Updated last week