Repository for lesson materials on Literate Programming - View it on GitHub