cataRegExp | Language.HaLex.RegExp |
Code | Language.HaLex.DfaMonad |
concatDfa | Language.HaLex.FaOperations |
concatFa | Language.HaLex.FaClasses |
concatNdfa | Language.HaLex.FaOperations |
converte | Language.HaLex.DfaMonad |
cre_real | Language.HaLex.Examples.Real |
CT | Language.HaLex.FaOperations |