#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"
![[logo]](/logo.png){kind=logo}