Beast code in Giters

Ian's repositories

Finite Automata and Regular Expressions for Regular Languages in Haskell

Language:HaskellBSD-3-Clause10 2 14

Kleene Algebra (Kozen axioms)

Language:AgdaNOASSERTION2 1 2

Algebraic graphs

Language:HaskellMIT010

Unicode alternatives for common functions and operators

Language:HaskellNOASSERTION010

Experimenting with proving type-logic statements in Haskell

000

Combinators for 'Maybe' types

Language:Haskell000

Classes for types where we know all the values

Language:HaskellBSD-3-Clause000