#lang s-exp "../../lang/base.rkt"

(require "nboyer.rkt"
	 "sboyer.rkt"
	 "tak.rkt"
	 "nfa.rkt"
	 "graphs.rkt")

"(tak-benchmark)"
(tak-benchmark)



"(nboyer-benchmark 0)"
(nboyer-benchmark 0)

"(nboyer-benchmark 4)"
(nboyer-benchmark 4)


"sboyer"

