eLxr packagesBalíky softvéru v „aria“, Subsekcia haskell
- agda-bin (2.6.2.2-1.1)
- commandline interface to Agda
- alex (3.2.7.1-3)
- lexical analyser generator for Haskell
- c2hs (0.28.8-1)
- C->Haskell Interface Generator
- libghc-agda-dev (2.6.2.2-1.1)
- dependently typed functional programming language