This website requires JavaScript.
Explore
Help
Sign In
Taneb
/
regex
Watch
1
Fork
0
You've already forked regex
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
regex
/
src
History
Nathan van Doorn
47c9a4a177
Initial commit: definition of regular expression, algebraic properties of + and ;
2024-09-13 12:35:12 +02:00
..
Regex
Initial commit: definition of regular expression, algebraic properties of + and ;
2024-09-13 12:35:12 +02:00
Regex.agda
Initial commit: definition of regular expression, algebraic properties of + and ;
2024-09-13 12:35:12 +02:00
