torlisp July 2023

torlisp July 2023