subttle/kleene

Kleene Algebra (Kozen axioms)

AgdaNOASSERTION