diff --git a/scribblings/defs.rkt b/scribblings/defs.rkt new file mode 100644 index 0000000..9561986 --- /dev/null +++ b/scribblings/defs.rkt @@ -0,0 +1,10 @@ +#lang racket/base + +(require scribble/base scribble/manual) +(provide (all-defined-out)) + +(define (todo . ls) + (apply margin-note "TODO" ls)) + +(define (gtech . x) + (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl")))