conal / quotes
My favorite quotes
☆17Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for quotes
- Keynote talk for Lambda Jam 2017 in Sydney☆20Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Vector builder☆15Updated 10 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- the dynabook but for haskell☆23Updated 5 years ago
- Cursor data and manipulation☆21Updated 11 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Lenses and Traversals for Aeson, based on Microlens.☆14Updated 5 months ago
- A toy Parser+Compiler+Typechecker☆12Updated last year
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Finitely represented /total/ maps☆15Updated 4 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 6 years ago
- Make presentations for data types☆25Updated 3 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago