Epigram 1

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

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