Tony Finch's link log
2007-07-09: Simply easy! (An implementation of a dependently typed lambda calculus.)
(long)
(short)
(atom)
(wayback machine)