Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Common checkpoints

Jump to bottom
Grant Jurgensen edited this page Jul 10, 2025 · 2 revisions

Some common checkpoints and what they mean

  • (implies (not (consp x)) (not x))

Add (true-listp x) to your hypotheses.

Clone this wiki locally