(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