Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes - View it on GitHub