search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

The DEF macro fails for an even number (> 2) of arguments. #120

Open gheber opened 8 years ago

gheber commented 8 years ago

Generalize it to work like SETF, i.e., (SETF a 1 b 2 c 3) .