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 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