~jorge-jbs/theory-of-computation

/ d---------
c06ebfc9 — Jorge Blázquez Saborido Use type classes for operators 4 years ago
-rw-r--r--
.gitignore
8 bytes
-rw-r--r--
Axioms.agda
593 bytes
-rw-r--r--
Common.agda
408 bytes
-rw-r--r--
DFA.agda
9.1 KiB
-rw-r--r--
FA-Regex-Equiv.agda
493 bytes
-rw-r--r--
Fin.agda
7.6 KiB
d---------
ForUpstream/
-rw-r--r--
LICENSE
34.3 KiB
-rw-r--r--
Lang.agda
5.8 KiB
-rw-r--r--
MTTM.agda
6.1 KiB
-rw-r--r--
NFA-e.agda
1.4 KiB
-rw-r--r--
NFA.agda
1.7 KiB
-rw-r--r--
Operators.agda
896 bytes
-rw-r--r--
PFA.agda
2.9 KiB
-rw-r--r--
README.md
183 bytes
-rw-r--r--
Regex.agda
2.2 KiB
-rw-r--r--
Regular.agda
1.9 KiB
-rw-r--r--
TM.agda
4.8 KiB
-rw-r--r--
default.nix
142 bytes