Stephen Chang
|
83c9e7c122
|
remove todos in okasaki
|
2016-10-06 14:26:09 -04:00 |
|
Stephen Chang
|
cb36097f8d
|
mlish define-type to more closely resemble paper
|
2016-10-05 10:33:18 -04:00 |
|
Stephen Chang
|
3ec2dfa431
|
drop [⊢ [e-stx]] ⇐-conclusion since it causes ambiguity and is undocumented
|
2016-10-05 10:32:53 -04:00 |
|
Stephen Chang
|
5296774b9a
|
modify mlish app, lam and define to more closely resemble paper
|
2016-10-05 09:44:03 -04:00 |
|
Stephen Chang
|
0e0d4ce192
|
[docs] extend explanation of current-type-eval
|
2016-10-04 14:46:34 -04:00 |
|
Stephen Chang
|
7c68789628
|
convert mlish+adhoc define-instance to turnstile
|
2016-10-04 14:18:38 -04:00 |
|
Stephen Chang
|
80d0cec122
|
port rest of mlish+adhoc to turnstile
|
2016-10-04 13:44:22 -04:00 |
|
Stephen Chang
|
7113debd3c
|
use more turnstile features in mlish+adhoc: define-type and match2
|
2016-10-03 18:41:43 -04:00 |
|
Stephen Chang
|
0d3b9b6550
|
[docs] add #:error conclusion
|
2016-10-03 16:01:36 -04:00 |
|
Stephen Chang
|
140843cf06
|
start move of mlish+adhoc to turnstile -- tests passing
|
2016-10-03 15:52:29 -04:00 |
|
Stephen Chang
|
b6a8d6bc95
|
add test-omit-paths
|
2016-10-03 15:45:46 -04:00 |
|
Stephen Chang
|
362b0f310d
|
manually merge mlish.rkt from adhoc branch to mlish+adhoc.rkt
|
2016-10-03 14:28:15 -04:00 |
|
Stephen Chang
|
e8faad889b
|
add τ= in addition to τ⊑
|
2016-10-03 10:16:42 -04:00 |
|
AlexKnauth
|
41491136b6
|
put the guide and reference onto separate pages
|
2016-09-30 14:44:41 -04:00 |
|
AlexKnauth
|
0275d0143d
|
use tc instead of inf and use . tc in the stx class
|
2016-09-30 14:07:07 -04:00 |
|
Stephen Chang
|
da21e04a60
|
delete some temporary examples
|
2016-09-30 12:53:36 -04:00 |
|
Stephen Chang
|
c78c085e60
|
[docs] dont include stx for-label
|
2016-09-30 12:53:21 -04:00 |
|
Stephen Chang
|
590c51bbac
|
remove rosette dep; dont build rosette files
|
2016-09-30 12:51:38 -04:00 |
|
Stephen Chang
|
383634e14f
|
polish and extend reference
- mention key in inf-elem
- specify phase of bindings
- add type=? examples
|
2016-09-30 12:09:37 -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
|
df4c26dd8d
|
type=? handles binding types by default
- closes #32
|
2016-09-29 14:27:17 -04:00 |
|
Stephen Chang
|
cf619325a6
|
docs: add authors
|
2016-09-29 10:47:17 -04:00 |
|
AlexKnauth
|
9d57b01a11
|
add missing build-deps
|
2016-09-28 13:46:51 -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
|
7dd277e814
|
docs: add extends and reuse
|
2016-09-26 13:03:09 -04:00 |
|
Stephen Chang
|
8a3f3f5e38
|
docs: revise guide to incorporate predeclared forms
|
2016-09-26 12:56:44 -04:00 |
|
Stephen Chang
|
853ef3f897
|
docs: update reference with predeclared forms
|
2016-09-26 12:21:00 -04:00 |
|
Stephen Chang
|
b898e255a5
|
docs: add #:export-as option in define-typed-syntax
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
94c7578ad6
|
docs: small reference edits
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
dc4f6d4466
|
add separate doc-utils file
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
f10190c26a
|
docs: guide rough draft
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
e68480f0e6
|
docs: reference 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 |
|
Stephen Chang
|
1761c452cc
|
docs: add introduction draft
|
2016-09-26 10:46:37 -04:00 |
|
AlexKnauth
|
ad9c33ac32
|
more work on docs
|
2016-09-26 10:46:37 -04:00 |
|
AlexKnauth
|
1e9f9025ad
|
start on documentation
|
2016-09-26 10:46:37 -04:00 |
|
Stephen Chang
|
df63a0bf57
|
predefine "type" stx-category and define-primop in typecheck.rkt (and turnstile)
|
2016-09-24 16:43:17 -04:00 |
|
Stephen Chang
|
088635c33a
|
check define-typed-stx has > 0 clauses to match stx-parse; add other paper abbrvs
|
2016-09-24 15:12:45 -04:00 |
|
Stephen Chang
|
d0c14c7e07
|
define-typed-syntax: support define-simple-macro-like single-clause syntax
|
2016-09-24 15:12:45 -04:00 |
|
Stephen Chang
|
bce55e8741
|
allow omitting "_ ≫" in conclusion
|
2016-09-24 15:12:45 -04:00 |
|
Stephen Chang
|
e1ea378f7d
|
drop more parens
|
2016-09-24 15:12:45 -04:00 |
|
Stephen Chang
|
f545503d19
|
allow optionally eliding more parens
- single env
- \vdash rhs
|
2016-09-24 15:12:45 -04:00 |
|
AlexKnauth
|
d5b46b9ee4
|
add rackunit-lib as a build-dep
|
2016-09-17 17:55:44 -04:00 |
|
AlexKnauth
|
ccdb667fac
|
move default-type-eval into typecheck.rkt
|
2016-09-17 09:15:41 -04:00 |
|
AlexKnauth
|
a075b9b4f8
|
fix ~?Some pattern expander
|
2016-09-02 10:57:46 -04:00 |
|