DoCon es un programa de álgebra computacional escrito en el lenguaje de programación Haskell.