Tony Finch's link log

• 2007-07-09: Simply easy! (An implementation of a dependently typed lambda calculus.) (long) (short) (atom) (wayback machine)