4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	186be084fd	Update syntax of example snippets	2016-08-25 13:15:06 +01:00
Tony Garnock-Jones	847fad140d	Tweak spacing	2016-08-07 16:55:46 -04:00
Tony Garnock-Jones	67dbd808fd	Update front-page examples	2016-08-07 16:54:09 -04:00
Tony Garnock-Jones	ba4bcf9a49	Better organisation; examples; ESOP2014	2016-04-04 05:13:46 +02:00