General purpose intervals of functors.
BSD-3-CLAUSE License
No README available, please check again later.
🌳 a monadic FRP game library for haskell
a µµ̃ calculus with pretty-printing and evaluating interpreters
A discrete space map implemented as a zipper on an infinite perfect binary tree.
Parsing with Derivatives, in Haskell, with GADTs.
Generic interface over the AST provided by haskell-src-exts
An experiment towards a UI programming model inspired by algebraic effects.
Experiments in abstracting definitional interpreters
Provides free functors that are adjoint to functors that forget class constraints.
Dependently-typed language w/ little to say for itself
The double category of Hask functors and profunctors
Another experiment in dependently typed languages, this time with some quantitative type theory s...
Interval Arithmetic
join and meet semilattices, lower and upper bounds.