Software Packages in "experimental", Subsection haskell

agda-bin (2.2.8-1)

Commandline interface to Agda

libghc6-agda-dev (2.2.8-1)

a dependently typed functional programming language - development libraries

libghc6-pandoc-dev (1.6-1)

general markup converter

libghc6-texmath-dev (0.3.0.3-1)

Haskell library to convert LaTeX to MathML - GHC 6 libraries

libghc6-texmath-prof (0.3.0.3-1)

Haskell library to convert LaTeX to MathML - GHC 6 profiling libraries