Generic Programming Within Dependently Typed Programming
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