Reminds me a bit of Scribble http://docs.racket-lang.org/scribble/ http://docs.racket-lang.org/scribble/ Scribble isn't type-checked (though maybe it plays wit

Reminds me a bit of Scribble http://docs.racket-lang.org/scribble/ http://docs.racket-lang.org/scribble/ Scribble isn't type-checked (though maybe it plays with Typed Racket?), but is similarly about creating documents that leverages the underlying programming language. Excellent stuff, and good luck! :D