Apply a callback to an array: Difference between revisions
→{{header|ACL2}}
(→{{header|TXR}}: Replace clumsy old approach.) |
|||
Line 3:
=={{header|ACL2}}==
{{incorrect|ACL2|This is recursive list processing with a hard-coded function. First class functions are not required in this problem; "second class" functions will do (see C solution, etc).}}
ACL2 does not have first-class functions; this is close, however:
|