Dependent type - Revision history

Henk-Jan van Tuyl: /* Cayenne */ links updated; link added for constructive type theory

Henk-Jan van Tuyl — Wed, 08 Aug 2012 20:29:09 GMT

Cayenne: links updated; link added for constructive type theory

Bhterra — Thu, 26 Apr 2012 18:29:59 GMT

fixed link

Drb226 — Sat, 22 Oct 2011 19:07:53 GMT

Epigram: fixing broken links; best guess on "Epigram Tutorial"

RobinKAY — Fri, 17 Sep 2010 15:35:23 GMT

Fix broken link to McBride's paper.

F.s. — Sun, 07 Sep 2008 00:41:55 GMT

marked dead link

Bens — Mon, 11 Aug 2008 12:04:15 GMT

Sclv — Tue, 27 May 2008 20:52:59 GMT

DonStewart — Tue, 27 May 2008 20:47:22 GMT

Pierre — Sun, 30 Mar 2008 14:52:06 GMT

spelling

Ulfn — Tue, 09 Oct 2007 14:20:59 GMT