• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for HaLeX-1.2.2 source tarball

HaLeX-1.2.2/

• HaLeX.cabal
• INSTALL
• LICENSE
• README.md
• Setup.hs
• HaLeX_lib/
  • Language/
    • HaLex/
      • Dfa.hs
      • Dfa2MDfa.hs
      • DfaMonad.lhs
      • Equivalence.hs
      • Fa2RegExp.hs
      • FaAsDiGraph.hs
      • FaClasses.hs
      • FaOperations.hs
      • Minimize.hs
      • Ndfa.hs
      • Parser.hs
      • RegExp.hs
      • RegExp2Fa.hs
      • RegExpAsDiGraph.hs
      • RegExpParser.hs
      • Util.hs
      • Examples/
        • Real.lhs
        • Robot.lhs
• HaLeX_tool/
  • halex.hs
• example/
  • GenMDfa.hs
  • README
  • real
  • real_dfa.hs
  • real_dfa.ps
  • real_ndfa.hs
  • real_ndfa.ps
• paper/
  • HaLeX.ps
• scripts/
  • Make_Animation
  • faAnim.lefty