Mercurial > hg > Members > kono > Proof > automaton1
directory / @ 14:2e589115f7c9
name | size | permissions |
---|---|---|
Test.agda | 621 | -rw-r--r-- |
automaton.agda | 5008 | -rw-r--r-- |
finiteSet.agda | 28634 | -rw-r--r-- |
logic.agda | 2440 | -rw-r--r-- |
nat.agda | 11362 | -rw-r--r-- |
nfa-lib.agda | 3654 | -rw-r--r-- |
nfa.agda | 10705 | -rw-r--r-- |
regex.agda | 6048 | -rw-r--r-- |
regular-language.agda | 3549 | -rw-r--r-- |