HaLeX is a library of datatypes and functions implemented in 
Haskell  that allows us to model, manipulate and animate regular languages.
This paper briefly summarizes the design of HaLeX. It presents some
examples constructed with the library and discusses the use of HaLeX
in education.