### Viewing Thread #43 ###
       Lisp stream of consciousness
       ---Reply #44
       Thinking about writing a send-(call-next-method)-to-acl2 mixin
       ---Reply #45
       I guess one can imagine a method composition where method-on-obj-and symbol→stream→process→stream or something, where the process would be like (uiop:run-program "acl2" :input (call-next-method))
       ---Reply #54
       Argh, dragging my feet (defclass acl2 () ()) (defmethod prove ((obj acl2)) (uiop:run-program "acl2" :input (call-next-method)))
       ---Reply #57
       Oops.  These last two posts were meant to be in reply to 
       ---Reply #86
       https://toobnix.org/w/qAnmJAKv1mhuwem7jJ1cJz for everyone whom was waiting with bated breath. Graph animation peertoob video. Silent. Lisp.
       ---Reply #103
       Is this phorum still working for me?
       ---Reply #104
       Well I can't say that that prove method idea was pure gold, but what can ya do.
 (QRY) Reply to Thread
 (TXT) View as File
 (DIR) Return to Index