(DIR) .. (DIR) acl2 2023-Jan-16 01:23 - (DIR) examples 2023-Jan-16 01:23 - (HTM) README.html 2023-Jan-16 01:23 16.5 KB (TXT) README.org 2023-Jan-16 01:23 4.8 KB (TXT) car-game.asd 2023-Jan-16 01:23 0.3 KB (TXT) car-game.lisp 2023-Jan-16 01:23 3.8 KB (TXT) macros.lisp 2023-Jan-16 01:23 0.2 KB (TXT) packages.lisp 2023-Jan-16 01:23 0.1 KB (TXT) side-effects.lisp 2023-Jan-16 01:23 0.7 KB