name:                HaLeX
version:             1.2.1
synopsis:            HaLeX enables modelling, manipulation and animation 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 <jas@di.uminho.pt>
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
        extensions:             FlexibleContexts, FlexibleInstances, MultiParamTypeClasses

        ghc-options:          -Wall
        ghc-prof-options:    -prof -auto-all

        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
source-repository this
  type:     github
  location: https://github.com/haslab/halex‎
  tag:      1.2.1

Executable halex
           main-is:             halex.hs
           hs-source-dirs:      HaLeX_tool, HaLeX_lib

           ghc-options:          -Wall
           ghc-prof-options:    -prof -auto-all