franz-lisp

4зной

2ответ

Franz LISP to Common LISP conversion 2 - макросы, которые генерируют макросы

Я возрождаю старую программу LISP с начала 1980-х годов. (Это рационализатор Нельсон-Oppen, раннее доказательство системы Эта версия была частью Форда Pascal-F Verifier, и был запущен в Franz LISP в 1