Category:ACL2/Omit

From Rosetta Code
Revision as of 09:53, 11 March 2014 by rosettacode>AndiPersti (Created page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Tasks listed here have been marked as "un-implementable" in ACL2. Solutions may be impossible to do, too complex to be of any valuable instruction in ACL2, or prohibited by the task definition.

But hey; if you think you can prove us wrong, go for it. :-)

Retrieved from "https://rosettacode.org/wiki/Category:ACL2/Omit?oldid=241686"