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
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Term Rewriting Systems☆17Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- A monadic approach to static analysis following the methodology of AAM☆19Updated 9 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- ☆18Updated 10 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 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
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 3 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- ☆23Updated 7 years ago
- ☆45Updated this week
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Updated 2 years ago