1001コメント385KB

LISP Scheme

レス数が950を超えています。1000を超えると書き込みができなくなります。

0986Lisp板の753

NGNG

(define-macro prove fexpr (wff)
(wang (addr (car wff) (line 0 nil nil nil nil)))
こんな感じでしょうか？

レス数が950を超えています。1000を超えると書き込みができなくなります。