1
0
Fork
You've already forked regeq
0
Find whether two regular expressions are equivalent
  • Haskell 100%
Find a file
Teofil Camarasu a1cc6a5bdd Add tests and bugfix 
Add test cases for most of Kozen's axioms and a couple of equivalences
Improve Parsing (Union and Concat precedence; add '+')
Sundry bugfixes
2017年10月26日 23:54:59 +01:00
src Add tests and bugfix 2017年10月26日 23:54:59 +01:00
test Add tests and bugfix 2017年10月26日 23:54:59 +01:00
.gitignore Update gitignore and cabal file 2017年10月26日 22:45:40 +01:00
LICENSE Initial commit 2017年10月25日 14:34:32 +01:00
package.yaml Add tests and bugfix 2017年10月26日 23:54:59 +01:00
regeq.cabal Add tests and bugfix 2017年10月26日 23:54:59 +01:00
stack.yaml Add Regex parsing, Regex -> NFA -> DFA conversion, and DFA eq check 2017年10月26日 00:06:20 +01:00