• ### 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.
• Reply to Thread
• View as File
• Return to Index