<p>Source I was looking through while talking WIP:<br />
gopher://gopher.club/1/users/screwtape/car-game</p>
<ul>
<li>Compilers:
<ul>
<li>sbcl<br />
<a href="https://sbcl.org/" class="uri">https://sbcl.org/</a></li>
<li>ecl<br />
<a href="https://ecl.common-lisp.dev/"
class="uri">https://ecl.common-lisp.dev/</a></li>
<li>acl2<br />
<a
href="https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____Common_02Lisp"
class="uri">https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____Common_02Lisp</a></li>
</ul></li>
<li>System definition:
<ul>
<li>asdf<br />
<a href="https://common-lisp.net/project/asdf/"
class="uri">https://common-lisp.net/project/asdf/</a></li>
</ul></li>
<li>Books mentioned:
<ul>
<li>Land of Lisp</li>
<li>Advances in Formal methods (whatever by Kaufmann)</li>
</ul></li>
</ul>
