Lp-section-1
Background Reviews
LP1: Background Reviews
We assume you're familiar with elementary Common Lisp and ACL2. The
questions and answers in lp-background-review-1 offer a
quick review. Come back here when you're comfortable with such
questions.
Loop$ makes extensive use of ACL2's limited second order
functionality. The questions and answers in lp-background-review-2 offer a quick review of the main features
and limitations of apply$ and the related concepts. We assume you're
comfortable with these features too.
Now go to lp-section-2 (or return to the Table of Contents).
Subtopics
- Lp-background-review-2-answers
- Answers to the review of apply$ and related concepts
- Lp-background-review-1-answers
- Answers to background review of basic ACL2 knowledge
- Lp-background-review-1
- Background review of basic ACL2 knowledge
- Lp-background-review-2
- Review of apply$ and related concepts
