Index of types
Index of values
Index of modules
Index of module types


Automata
Definition for automata.
KleenAlgebra
Definition of Kleenean algebras.
RegularExpression
Regular expressions over an alphabet.