name: HaLeX version: 1.2.6 synopsis: HaLeX enables modelling, manipulation and visualization of regular languages description: This library was developed in the context of a programming methodology course for undergraduate students, and as a consequence, it was defined mainly for educational purposes. Indeed, it provides a clear, efficient and concise way to define, to understand and to manipulate regular languages in Haskell. Furthermore, the construction of the complete library has been proposed as assignment projects to the students following the course. HaLeX is now being used to support this course. category: Data license: PublicDomain license-file: LICENSE author: João Saraiva maintainer: João Saraiva homepage: http://www.di.uminho.pt/~jas/Research/HaLeX/HaLeX.html tested-with: GHC==6.8.2 Cabal-Version: >= 1.6 build-type: Simple data-files: README.md, INSTALL, paper/HaLeX.ps, example/README, example/real_dfa.ps, example/real_ndfa.ps extra-source-files: scripts/Make_Animation, scripts/faAnim.lefty, example/real, example/real_dfa.hs, example/real_ndfa.hs, example/GenMDfa.hs Library build-depends: base>4 && <5, mtl, HUnit, QuickCheck extensions: FlexibleContexts, FlexibleInstances, MultiParamTypeClasses ghc-options: -Wall hs-source-dirs: HaLeX_lib exposed-modules: Language.HaLex.RegExpAsDiGraph, Language.HaLex.Ndfa, Language.HaLex.Dfa2MDfa, Language.HaLex.Minimize, Language.HaLex.Examples.Real, Language.HaLex.Examples.Robot, Language.HaLex.RegExpParser, Language.HaLex.FaClasses, Language.HaLex.RegExp, Language.HaLex.Dfa, Language.HaLex.DfaMonad, Language.HaLex.Fa2RegExp, Language.HaLex.Parser, Language.HaLex.RegExp2Fa, Language.HaLex.FaAsDiGraph, Language.HaLex.FaOperations, Language.HaLex.Util, Language.HaLex.Equivalence, Language.HaLex.Sentences, Language.HaLex.Test_HaLex, Language.HaLex.Test_HaLex_Quickcheck Executable halex main-is: halex.hs hs-source-dirs: HaLeX_tool, HaLeX_lib ghc-options: -Wall source-repository head type: git location: git://github.com/haslab/halex.git