Downloads
We have a number of versions of the working prototype system Epigram 1 available to play with, each contains the current libraries of the system, some interesting examples, the manual (such as it is) and an Epigram tutorial, given at AFP '04 in Tartu.
If a binary version is unavailable for your platform you will need to download the GHC compiler to make your own. In any case the UI uses XEmacs so you will need that.
Options
Each package comes complete with some documentation, libraries, examples and source code
- Binary Packages
- +Linux binary
- +Windows binary
- +Solaris binary
- +Mac OSX binary
- rules of uno
- Source code package
Any problems please email pwm AT cs DOT nott DOT ac DOT uk with details, If you compile the source for another platform we might be interested in hosting it on this site so please get in touch at the same address!
Documentation
We have two pieces of documentation available to new and old users a like to help introduce you to the interactive system and programming in Epigram. These are included in the system downloads but are also available seperately
- Epigram Manual
a crib sheet for understanding what you see when you load up Epigram and how to interact with it (slightly out of date, but still essential for new users
- Epigram Tutorial
first given at the AFP Summer School '04 by Conor, this contains numerous execises on DT programming in Epigram
For more advanced user and the curious there is also the resarch paper in which many of the ideas which are now in Epigram got laid down
- A View From the Left
Contains many of the ingredients an interactive programming system and it's associated dependently type language should have, some of which have yet to make it into the system
Examples
Here we might have a number of nice examples of Epigram programs, with a little discussion of each, until we get this sorted out you can find a few examples in the tarballs above
Background Reading
Simiarly unfinished is this section in which we hope to provide links to functional programming papers and type theory papers that might help you get to grips with what happens when the two things come together