[/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