Homepage: https://github.com/polymode/poly-noweb
Author: Vitalie Spinu
Updated: 2020-Mar-16
Polymode for noweb
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;