Oleg code for Generic Programming Within Dependently Typed Programming. Available from http://www.dur.ac.uk/c.t.mcbride/generic (2002)

by Thorsten Altenkirch, Conor McBride