The POPLmark Challenge:
eventually Askemos should have means to solve the challenge.
(This is a requirement in a way,
neither a goal in itself nor is any promise implied that it will
or that I, the author of that "requirement",
will try to meet the challenge.)
last modification:
Thu, 17 Mar 2005 22:42:04 +0100
authors:
jfw,
document identifier:
A849640f672ed0df0958abc0712110f3c
delivered to
public
at Sat, 19 May 2012 03:32:59 +0200