hg.stevelosh.com > scully

vendor/make-quickutils.lisp @ 8e281422161d 

Port old rule tree implementation to ZDDs & implement basic rule tree reasoning
author Steve Losh <steve@stevelosh.com>
date Tue, 01 Nov 2016 15:20:35 +0000
parents 183f355ca260
children b7c02baa4fee 
(ql:quickload 'quickutil)

(qtlc:save-utils-as
  "quickutils.lisp"
  :utilities '(

               :compose
               :curry
               :ensure-boolean
               :ensure-gethash
               :ensure-list
               :map-product
               :mkstr
               :once-only
               :rcurry
               :set-equal
               :with-gensyms
               :with-output-to-file

               )
  :package "SCULLY.QUICKUTILS")