Generic Programming Within Dependently Typed Programming

Thorsten Altenkirch and Conor McBride

This page makes the Oleg code accompanying our paper available for download. Please find

the Oleg script
our commentary
a gzipped solaris binary of Oleg
a gzipped linux binary of Oleg

The code can be executed by cut-and-paste into a shell where Oleg is running, or in batch mode, by typing

Include genprog;

at the Oleg prompt.

Oleg is not officially supported by anyone. Some of the documentation here may be of use, although some may mislead. In case of difficulty, please hesitate at least a little before contacting Conor McBride.

Conor McBride's homepage

Last modified: Sun Mar 31 16:34:24 BST 2002