Alex Knauth bbcdfaf9cf add ~typecheck and ~⊢ pattern expanders (#6) ... * add ~typecheck and ~⊢ pattern expanders So that in normal macros, syntax classes, and normal syntax-parse expressions, you can use use the Turnstile syntax to do typechecking * add documentation for ~typecheck and ~⊢		2017-04-17 12:41:02 -07: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	add ~typecheck and ~⊢ pattern expanders (#6)	2017-04-17 12:41:02 -07:00
turnstile.scrbl	put the guide and reference onto separate pages	2016-09-30 14:44:41 -04:00