STR-2: Quoted constructors
declare “aap” : Term -> Term “stratego.9.0”(“noot”)
Submitted on 18 March 2004 at 09:45
Log in to post comments
declare “aap” : Term -> Term “stratego.9.0”(“noot”)
Submitted on 18 March 2004 at 09:45
Log in to post comments