andreasabel / haskell-style-guideLinks
A style guide for Haskell code.
☆12Updated last month
Alternatives and similar repositories for haskell-style-guide
Users that are interested in haskell-style-guide are comparing it to the libraries listed below
Sorting:
- Anders: Cubical Type Checker☆24Updated last year
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Session types in Idris2!☆27Updated 4 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- ☆40Updated 5 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Generic functions for single-sorted first-order structural unification☆46Updated last month
- Where my everyday research happens☆53Updated 2 weeks ago
- An implementation of scoped algebraic effects and handlers in Agda.☆12Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 6 months ago
- A talk☆28Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Category theory formalized in cubical agda☆21Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 weeks ago
- Implementation for ICFP 2020 paper☆53Updated 3 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- higher-kinded data☆30Updated 2 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago