Closed bennn closed 7 years ago
There are lots of Scribble "utility functions" in main.rkt, for example:
main.rkt
Section-ref
integer->word
Factor these out into a package. Maybe they can go into Scribble itself but at least start with a package.
https://github.com/bennn/gtp-paper
https://github.com/bennn/scribble-abbrevs
bennn
commented
7 years ago bennn
commented
7 years ago
There are lots of Scribble "utility functions" in
main.rkt, for example:Section-refinteger->wordFactor these out into a package. Maybe they can go into Scribble itself but at least start with a package.