Source Code

Source code for this effort will be kept under version control using  darcs, a revision control system implemented in Haskell.

You can browse the source code or download individual files [source: here].

To get the source code, run: darcs get http://haskell.galois.com/haskell-prime/repo/