News for hackers. Stuff that matters.
Re:Dafny – A programming language with a program verifier by Animats on Friday January 20, 2017 @04:02PM (#13446948)
Thanks very much. It turns out the first one can be called with multiple args in the "expr" slot, so it has to be

    (defmacro defsmac (name params &rest expr)
      `(defmacro ,name ,params
         `,(cons 'progn (sublis (mapcar 'cons ',params 
                (list ,@params)) ', expr))))
but your code got me un-stuck.

There are no comments on this comment yet.