Pinned Repositories
subttle's Repositories
subttle/regular
Finite Automata and Regular Expressions for Regular Languages in Haskell
subttle/kleene
Kleene Algebra (Kozen axioms)
subttle/alga
Algebraic graphs
subttle/containers-unicode-symbols
Unicode alternatives for common functions and operators
subttle/haskell-logic
Experimenting with proving type-logic statements in Haskell
subttle/smash
Combinators for 'Maybe' types
subttle/universe
Classes for types where we know all the values