Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
Go to file
Matthew Flatt f2c9297253 raco setup: move doc dependency and duplicate checking to database
This change makes document building --- and specially incremental
document building --- more scalable. The global duplicate-definition
check is handled by a database query, for example.

original commit: 9888fac99e32131a6e848f30c40024abb893a9b9
2012-11-23 20:07:49 -07:00
collects raco setup: move doc dependency and duplicate checking to database 2012-11-23 20:07:49 -07:00