; Load everything (for interactive use)
; $Id: $
(require (lib "list.ss")
         (lib "pretty.ss")
         (lib "9.ss" "srfi")
         (lib "11.ss" "srfi")
         (file "lib/plt-specific.ss"))

(load "lib/term.scm")
(load "lib/kanren.ss")
(load "examples/type-inference.scm")
(load "examples/typeclasses.scm")
(load "examples/zebra.scm")
(load "examples/mirror.scm")
(load "examples/mirror-equ.scm")
(load "examples/deduction.scm")
(load "examples/pure-bin-arithm.scm")
(load "benchmarks/alg-complexity.scm") ; must be last