Milo Turner 3ea1f05c51 added keywords #:mode/#:submode + module turnstile/mode ... closes #18		2017-08-28 17:59:48 -04:00
..
common.rkt	[scribblings] typos & minor fixes to docs	2016-09-29 18:13:14 -04:00
doc-utils.rkt	add separate doc-utils file	2016-09-26 10:46:37 -04:00
guide.scrbl	polish docs; explain #lang turnstile/lang and \succ form	2017-01-24 12:59:02 -05:00
reference.scrbl	added keywords #:mode/#:submode + module turnstile/mode	2017-08-28 17:59:48 -04:00
turnstile.scrbl	put the guide and reference onto separate pages	2016-09-30 14:44:41 -04:00