A simple expressions language with polymorphic extensible row types.
OTHER License
Bot releases are hidden (Show)
Published by willtim over 5 years ago
Type synonyms and library paths.
Published by willtim almost 6 years ago
Expanded API for using Expresso as a configuration file
Disable building of the REPL for now.
Cabal file changed for GHC 8.6 compatibility
Initial release
COnstraint-BAsed Little Typechecker
A higher-order effect system where the sky's the limit
Functional Programming Course
heidi : tidy data in Haskell
higher-order, no-boilerplate monads
Applicative option parser
Integrations with Vinyl/Frames records.
A modern syntax for the λ-calculus.
oleg modules
Translate math notes written with the amsthm package to Anki notecards!
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
An implementation of "Freer Monads, More Extensible Effects".
Haskell source code suggestions
Matchers and grammars using tree regular expressions