Initial commit: definition of regular expression, algebraic properties of + and ;

Agda regular expression library
2024-09-13 12:35:12 +02:00 · 2024-09-13 12:35:12 +02:00 · 2024-09-13 12:35:12 +02:00
diff --git a/Nathan van Doorn b/Nathan van Doorn
Nathan van Doorn 47c9a4a177 Initial commit: definition of regular expression, algebraic properties of + and ;		2024-09-13 12:35:12 +02:00
src	Initial commit: definition of regular expression, algebraic properties of + and ;	2024-09-13 12:35:12 +02:00
regex.agda-lib	Initial commit: definition of regular expression, algebraic properties of + and ;	2024-09-13 12:35:12 +02:00