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:
Adc5dd0c30f6e63932811ed60e019bb2d,
document identifier:
A849640f672ed0df0958abc0712110f3c
delivered to
Aef0d978f436fb1ff96bdf0b273e983af
at Fri, 18 May 2012 13:53:15 +0200