UMinho Haskell Libraries (1.0) Contents Index

Language.HaLex.Mini

Synopsis

undistinguishable :: Eq st => Dfa st sy -> [(st, st)] -> [[st]] eraseintersect :: Eq a => [[a]] -> [[a]] distinguishable :: Eq st => Dfa st sy -> [(st, st)]

Produced by Haddock version 0.6