Presenting Edsger W. Dijkstra's writings in a more appealing way - View it on GitHub