Home

       [/users/screwtape/car-game/acl2/]
       
   DIR ..                                                                
  TEXT Makefile                              2023-Jan-16 01:23     0.3 KB
  TEXT acl2-test.sh                          2023-Jan-16 01:23     0.4 KB
  TEXT car-game.lisp                         2023-Jan-16 01:23     3.8 KB
  TEXT macros.lisp                           2023-Jan-16 01:23     0.2 KB
   IMG tmp.png                               2023-Jan-16 01:23    31.9 KB