add separate doc-utils file

2016-09-23 17:01:27 -04:00 · 2016-09-23 17:01:27 -04:00 · dc4f6d4466
commit dc4f6d4466
parent f10190c26a
1 changed files with 5 additions and 0 deletions
--- a/turnstile/scribblings/doc-utils.rkt
+++ b/turnstile/scribblings/doc-utils.rkt
@ -0,0 +1,5 @@
+#lang racket/base
+(require scribble/manual)
+(provide (all-defined-out))
+(define-syntax-rule (label-code lab code)
+  (filebox (tt lab) code))