Stephen Chang
|
36c24c04b9
|
polish docs; explain #lang turnstile/lang and \succ form
closes #51
|
2017-01-24 12:59:02 -05:00 |
|
Stephen Chang
|
299051e902
|
add provides to guide examples
|
2016-10-12 13:20:38 -04:00 |
|
AlexKnauth
|
41491136b6
|
put the guide and reference onto separate pages
|
2016-09-30 14:44:41 -04:00 |
|
Stephen Chang
|
577f47f46a
|
[docs] polish guide, add more examples
|
2016-09-30 11:10:23 -04:00 |
|
Ben Greenman
|
ffa0a05e26
|
[scribblings] respond to comments on PR #29
- add `#lang turnstile` to Sec 2.7
- use eval:error in @examples[]
- remove @literal
|
2016-09-30 10:14:03 -04:00 |
|
Ben Greenman
|
9116cfd5a2
|
[scribblings] typos & minor fixes to docs
|
2016-09-29 18:13:14 -04:00 |
|
Stephen Chang
|
e308dad709
|
add more #:no-provide options; add eval'ed doc examples
- cant get scribble/example to automatically catch and print type errs
|
2016-09-29 16:04:47 -04:00 |
|
Stephen Chang
|
384e4962cd
|
docs: better link for stx template
|
2016-09-26 14:48:30 -04:00 |
|
Stephen Chang
|
2b6c1964c8
|
docs: fix remaining broken links; add some stx util fns
|
2016-09-26 14:38:16 -04:00 |
|
Stephen Chang
|
8183efe1a6
|
fix broken techlinks
|
2016-09-26 14:26:51 -04:00 |
|
Stephen Chang
|
8a3f3f5e38
|
docs: revise guide to incorporate predeclared forms
|
2016-09-26 12:56:44 -04:00 |
|
Stephen Chang
|
f10190c26a
|
docs: guide rough draft
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
e5cedb5c33
|
refactor guide and reference into separate files
|
2016-09-26 10:46:37 -04:00 |
|