Milo Turner 881912d1fd change some docs to adhere to the behavior of the code		2017-04-04 15:01:09 -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	change some docs to adhere to the behavior of the code	2017-04-04 15:01:09 -04:00
turnstile.scrbl	put the guide and reference onto separate pages	2016-09-30 14:44:41 -04:00