nikivazou / presentations
Presentations on Liquid Haskell, type theory, and more
☆45Updated 5 months ago
Alternatives and similar repositories for presentations:
Users that are interested in presentations are comparing it to the libraries listed below
- ♾️ Sized list☆46Updated 10 months ago
- Slides & demos for talks I do☆59Updated 4 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Notes on space leaks☆101Updated 4 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- A monad for managed values☆50Updated 2 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Comma (and other) separated values☆77Updated last year
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 7 months ago
- Fast, hash-based, immutable collections.☆25Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- type-safe JSON spec and validation tool☆85Updated 4 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Zippers based on lenses and traversals☆38Updated last year
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- ☆50Updated 9 years ago