Software

Top

Software

Bastiaan Heeren is largely responsible for the programming, both of the Top library and large parts of the Helium compiler which uses it. Below you can consult the code documentation and download the sources from the SVN server. The entire library is written in Haskell. Downloads of the Helium system that includes the Top library can be obtained from the Helium website. We have also cabalized Top, so it can now be obtained from Hackage.