Thanks for figuring all that out and laying it out so clearly! More details on my flavor of literate programming: http://akkartik.name/post/wart-layers http://

Thanks for figuring all that out and laying it out so clearly! More details on my flavor of literate programming: http://akkartik.name/post/wart-layers http://akkartik.name/post/wart-layers