| 2017-08-24 18:56 | created fabUL-like langauge using lin + ext-stlc | Milo Turner | 4 | +388 | -0 |
| 2017-08-23 18:22 | add linear language examples | Milo Turner | 12 | +938 | -247 |
| 2017-08-23 18:10 | added keywords #:mode/#:submode + module turnstile/mode | Milo Turner | 3 | +190 | -24 |
| 2017-07-10 17:09 | add `define-typed-variable-syntax` | Milo Turner | 3 | +26 | -12 |
| 2017-07-24 16:01 | fix #16 | Stephen Chang | 1 | +1 | -1 |
| 2017-07-24 15:11 | added #:mode and #:modes premise syntax (#16) | Milo | 1 | +14 | -0 |
| 2017-07-21 21:57 | simplified and documented linear language (#15) | Milo | 1 | +100 | -108 |
| 2017-07-21 19:04 | Added keyword in premises to allow parameterized call to infer (#14) | Milo | 1 | +23 | -11 |
| 2017-07-07 06:20 | add current-var-assign parameter (#12) | Alex Knauth | 3 | +277 | -3 |
| 2017-04-28 04:21 | add source location | AlexKnauth | 1 | +1 | -1 |
| 2017-04-25 20:06 | provide more pattern expanders for stlc+union base types | AlexKnauth | 1 | +1 | -1 |
| 2017-04-25 20:35 | fix union collapsing (#9) | Alex Knauth | 3 | +17 | -1 |
| 2017-04-17 19:41 | add ~typecheck and ~⊢ pattern expanders (#6) | Alex Knauth | 4 | +386 | -0 |
| 2017-04-11 03:55 | Use filter-maximal for pruning redundant elements in unions | AlexKnauth | 2 | +58 | -4 |
| 2017-03-23 17:29 | Listed #:as keyword available in define-primop | Milo Turner | 1 | +3 | -1 |
| 2017-03-23 17:06 | Listed the syntax class attributes for type-bind, type-ctx, type-ann | Milo Turner | 1 | +9 | -4 |
| 2017-03-23 12:30 | change some docs to adhere to the behavior of the code | Milo Turner | 1 | +5 | -5 |
| 2017-04-03 22:15 | add missing syntax/loc | AlexKnauth | 1 | +1 | -1 |
| 2017-04-03 18:21 | provide ~True and ~False from stlc+union.rkt | AlexKnauth | 1 | +2 | -1 |
| 2017-03-31 20:00 | fix typo in stx-datum-equal? (from last commit) | Stephen Chang | 1 | +1 | -1 |
| 2017-03-31 19:15 | generalize stx-member | Stephen Chang | 1 | +11 | -3 |
| 2017-03-30 23:01 | extends form supports non-strs and allows explicit prefix | Stephen Chang | 1 | +6 | -2 |
| 2017-03-30 17:16 | add stx-length>=? and stx-length<=? | AlexKnauth | 1 | +3 | -2 |
| 2017-03-24 14:59 | do not reprovide rackunit in rackunit-typechecking | Stephen Chang | 1 | +3 | -3 |
| 2017-03-23 20:38 | exclude rackunit-typechecking from compile | Stephen Chang | 1 | +2 | -2 |
| 2017-03-23 20:23 | exclude rackunit-typechecking from test | Stephen Chang | 1 | +2 | -1 |
| 2017-03-23 19:43 | add turnstile/rackunit-typechecking abbrev | Stephen Chang | 1 | +4 | -0 |
| 2017-03-22 21:04 | add current-host-lang; fix reuse to work with non-strs | Stephen Chang | 6 | +43 | -11 |
| 2017-03-21 21:55 | add with-ctx shorthand | Stephen Chang | 1 | +5 | -0 |
| 2017-03-10 22:03 | start dependent types example | Stephen Chang | 5 | +227 | -16 |
| 2017-03-06 18:21 | type= handles literals | Stephen Chang | 1 | +3 | -0 |
| 2017-03-03 21:20 | rackunit-typechecking: add more esc chars | Stephen Chang | 1 | +2 | -2 |
| 2017-02-17 17:09 | fix mlish chameneos test again | Stephen Chang | 1 | +10 | -3 |
| 2017-02-17 16:27 | fix mlish chameneos test | Stephen Chang | 1 | +10 | -3 |
| 2017-02-16 22:59 | fix stx->datum | Stephen Chang | 1 | +3 | -3 |
| 2017-02-13 23:33 | add toplvl checking form | Stephen Chang | 1 | +22 | -1 |
| 2017-02-08 18:27 | increase timeouts for typeclass tests | Stephen Chang | 2 | +2 | -2 |
| 2017-01-30 15:28 | completely separate type and kind api, etc; generalize type environment | Stephen Chang | 51 | +2275 | -1528 |
| 2017-01-27 20:35 | add timeout to try to satisfy pkg-build | Stephen Chang | 1 | +2 | -1 |
| 2017-01-26 21:28 | fix travis script again | Stephen Chang | 1 | +1 | -1 |
| 2017-01-26 21:25 | fix travis script again | Stephen Chang | 1 | +1 | -3 |
| 2017-01-26 21:19 | travis: install from git rather than through pkg server | Stephen Chang | 1 | +4 | -2 |
| 2017-01-26 20:19 | drop racket 6.4 and 6.5 from travis; fix lens dep again | Stephen Chang | 3 | +1 | -148 |
| 2017-01-26 19:56 | bump racket dep; fix lens dep | Stephen Chang | 1 | +2 | -2 |
| 2017-01-26 18:54 | remove lens-unstable dep | Stephen Chang | 4 | +149 | -5 |
| 2017-01-26 18:19 | add travis script | Stephen Chang | 2 | +34 | -0 |
| 2017-01-26 02:22 | delete ad-hoc "run all" test scripts; use raco test instead | Stephen Chang | 16 | +14 | -275 |
| 2017-01-25 21:36 | add some test timeouts | Stephen Chang | 2 | +5 | -0 |
| 2017-01-25 19:18 | reduce lens dependency to lens-common and lens-unstable | Stephen Chang | 3 | +3 | -5 |
| 2017-01-25 15:47 | remove dependency on typed racket and sweet-exp | Stephen Chang | 4 | +12 | -4 |
| 2017-01-24 21:56 | rename parse-typed-syntax to syntax-parse/typecheck; closes #50 again | Stephen Chang | 3 | +20 | -12 |
| 2017-01-24 20:57 | document relation order for current-typecheck-relation; closes #48 | Stephen Chang | 1 | +16 | -10 |
| 2017-01-24 19:51 | provide syntax-parse/typed-syntax as parse-typed-syntax | Stephen Chang | 3 | +13 | -4 |
| 2017-01-24 17:59 | polish docs; explain #lang turnstile/lang and \succ form | Stephen Chang | 2 | +226 | -120 |
| 2017-01-24 17:58 | ext-stlc: multibody lets; toplvl fn defs; properly transfer props on toplvl ids | Stephen Chang | 2 | +42 | -22 |
| 2017-01-13 21:56 | transfer srclocs so that check-syntax arrows work | AlexKnauth | 1 | +1 | -1 |
| 2016-11-18 21:55 | do some optimizations in typecheck.rkt: as much as 85% speedup in benchmarks | Stephen Chang | 6 | +91 | -48 |
| 2016-10-27 01:45 | Merged in georges-duperon/macrotypes/fix-dependency-typed-racket-lib (pull request #30) | Alex Knauth | 1 | +1 | -0 |
| 2016-10-26 23:29 | Added missing dependency on typed-racket-lib | Georges Dupéron | 1 | +1 | -0 |
| 2016-10-18 21:08 | start Bens "trivial" example | Stephen Chang | 4 | +554 | -3 |
| 2016-10-14 18:16 | split def-kinded-stx from def-typed-stx; split any-type? from type? | Stephen Chang | 16 | +185 | -115 |
| 2016-10-14 01:46 | rearrange test script to avoid parameter conflicts | Stephen Chang | 1 | +6 | -6 |
| 2016-10-14 01:21 | add define-internal-type-constructor and define-internal-binding-type | Stephen Chang | 5 | +422 | -8 |
| 2016-10-13 19:20 | split out a define-binding-type from define-type-constructor | Stephen Chang | 18 | +337 | -107 |
| 2016-10-12 20:13 | check if valid type when instantiating a type alias; fixed #5 | Stephen Chang | 4 | +23 | -8 |
| 2016-10-12 19:17 | define-typed-syntax: properly handle implicit : with subsequent ⇒-props | Stephen Chang | 3 | +3 | -3 |
| 2016-10-12 18:52 | [docs] minor edits to clarify binding phases | Stephen Chang | 1 | +14 | -12 |
| 2016-10-12 18:24 | mlish: use define-typerule in define-type output, to match paper | Stephen Chang | 2 | +37 | -38 |
| 2016-10-12 18:10 | remove * version of pattern expanders | Stephen Chang | 5 | +12 | -32 |
| 2016-10-12 17:20 | add provides to guide examples | Stephen Chang | 1 | +55 | -53 |
| 2016-10-12 14:46 | Turnstile forms no longer automatically provide; add type-out | Stephen Chang | 56 | +751 | -552 |
| 2016-10-11 14:28 | hide some test scripts from raco test | Stephen Chang | 15 | +45 | -0 |
| 2016-10-09 22:12 | dont auto provide define-primops; add typed-out | Stephen Chang | 25 | +632 | -589 |
| 2016-10-07 14:20 | dont compile tests during install | Stephen Chang | 2 | +5 | -1 |
| 2016-10-06 18:26 | remove todos in okasaki | Stephen Chang | 1 | +0 | -5 |
| 2016-10-05 14:33 | mlish define-type to more closely resemble paper | Stephen Chang | 1 | +10 | -8 |
| 2016-10-05 14:32 | drop [⊢ [e-stx]] ⇐-conclusion since it causes ambiguity and is undocumented | Stephen Chang | 1 | +1 | -1 |
| 2016-10-05 13:44 | modify mlish app, lam and define to more closely resemble paper | Stephen Chang | 1 | +78 | -92 |
| 2016-10-04 18:46 | [docs] extend explanation of current-type-eval | Stephen Chang | 1 | +13 | -8 |
| 2016-10-04 18:18 | convert mlish+adhoc define-instance to turnstile | Stephen Chang | 2 | +10 | -22 |
| 2016-10-04 17:44 | port rest of mlish+adhoc to turnstile | Stephen Chang | 2 | +483 | -502 |
| 2016-10-03 22:41 | use more turnstile features in mlish+adhoc: define-type and match2 | Stephen Chang | 1 | +55 | -65 |
| 2016-10-03 20:01 | [docs] add #:error conclusion | Stephen Chang | 1 | +3 | -1 |
| 2016-10-03 19:52 | start move of mlish+adhoc to turnstile -- tests passing | Stephen Chang | 1 | +268 | -179 |
| 2016-10-03 19:45 | add test-omit-paths | Stephen Chang | 1 | +3 | -0 |
| 2016-10-03 18:28 | manually merge mlish.rkt from adhoc branch to mlish+adhoc.rkt | Stephen Chang | 11 | +4391 | -7 |
| 2016-10-03 14:16 | add τ= in addition to τ⊑ | Stephen Chang | 2 | +24 | -2 |
| 2016-09-30 18:44 | put the guide and reference onto separate pages | AlexKnauth | 5 | +9 | -12 |
| 2016-09-30 18:07 | use tc instead of inf and use . tc in the stx class | AlexKnauth | 2 | +54 | -56 |
| 2016-09-30 16:53 | delete some temporary examples | Stephen Chang | 3 | +0 | -79 |
| 2016-09-30 16:53 | [docs] dont include stx for-label | Stephen Chang | 1 | +1 | -1 |
| 2016-09-30 16:51 | remove rosette dep; dont build rosette files | Stephen Chang | 2 | +4 | -1 |
| 2016-09-30 16:09 | polish and extend reference | Stephen Chang | 1 | +86 | -35 |
| 2016-09-30 15:10 | [docs] polish guide, add more examples | Stephen Chang | 1 | +79 | -43 |
| 2016-09-30 14:14 | [scribblings] respond to comments on PR #29 | Ben Greenman | 2 | +4 | -12 |
| 2016-09-29 22:08 | [scribblings] typos & minor fixes to docs | Ben Greenman | 3 | +49 | -41 |
| 2016-09-29 19:49 | add more #:no-provide options; add eval'ed doc examples | Stephen Chang | 2 | +42 | -11 |
| 2016-09-29 18:27 | type=? handles binding types by default | Stephen Chang | 12 | +18 | -89 |
| 2016-09-29 14:47 | docs: add authors | Stephen Chang | 1 | +6 | -2 |
| 2016-09-28 17:46 | add missing build-deps | AlexKnauth | 1 | +2 | -0 |
| 2016-09-26 18:48 | docs: better link for stx template | Stephen Chang | 2 | +8 | -5 |
| 2016-09-26 18:38 | docs: fix remaining broken links; add some stx util fns | Stephen Chang | 2 | +20 | -11 |
| 2016-09-26 18:26 | fix broken techlinks | Stephen Chang | 4 | +53 | -27 |
| 2016-09-26 17:03 | docs: add extends and reuse | Stephen Chang | 1 | +17 | -1 |
| 2016-09-26 16:56 | docs: revise guide to incorporate predeclared forms | Stephen Chang | 1 | +75 | -92 |
| 2016-09-26 16:21 | docs: update reference with predeclared forms | Stephen Chang | 2 | +92 | -62 |
| 2016-09-23 23:35 | docs: add #:export-as option in define-typed-syntax | Stephen Chang | 1 | +6 | -2 |
| 2016-09-23 21:01 | docs: small reference edits | Stephen Chang | 1 | +10 | -5 |
| 2016-09-23 21:01 | add separate doc-utils file | Stephen Chang | 1 | +6 | -0 |
| 2016-09-23 21:00 | docs: guide rough draft | Stephen Chang | 2 | +434 | -111 |
| 2016-09-23 18:14 | docs: reference rough draft | Stephen Chang | 1 | +152 | -28 |
| 2016-09-23 14:28 | refactor guide and reference into separate files | Stephen Chang | 3 | +77 | -63 |
| 2016-09-22 20:07 | docs: add introduction draft | Stephen Chang | 1 | +122 | -0 |
| 2016-09-21 18:45 | more work on docs | AlexKnauth | 1 | +29 | -2 |
| 2016-09-05 15:40 | start on documentation | AlexKnauth | 2 | +48 | -0 |
| 2016-09-24 20:43 | predefine "type" stx-category and define-primop in typecheck.rkt (and turnstile) | Stephen Chang | 11 | +26 | -62 |
| 2016-09-23 23:57 | check define-typed-stx has > 0 clauses to match stx-parse; add other paper abbrvs | Stephen Chang | 2 | +5 | -3 |
| 2016-09-22 20:56 | define-typed-syntax: support define-simple-macro-like single-clause syntax | Stephen Chang | 14 | +206 | -234 |
| 2016-09-22 19:25 | allow omitting "_ ≫" in conclusion | Stephen Chang | 17 | +180 | -177 |
| 2016-08-18 20:38 | drop more parens | Stephen Chang | 12 | +132 | -132 |
| 2016-08-18 19:59 | allow optionally eliding more parens | Stephen Chang | 2 | +20 | -13 |
| 2016-09-17 21:55 | add rackunit-lib as a build-dep | AlexKnauth | 1 | +4 | -0 |
| 2016-09-17 13:15 | move default-type-eval into typecheck.rkt | AlexKnauth | 3 | +17 | -68 |
| 2016-09-02 14:57 | fix ~?Some pattern expander | AlexKnauth | 1 | +14 | -5 |
| 2016-08-31 22:59 | start on tests from section 3 of the Guide | AlexKnauth | 1 | +20 | -0 |
| 2016-08-31 22:49 | add #lang turnstile/lang; change #lang turnstile's #%module-begin | AlexKnauth | 32 | +51 | -59 |
| 2016-08-31 20:57 | support multiple exprs in let body; add set! | Stephen Chang | 2 | +33 | -17 |
| 2016-08-31 20:22 | rename rosette-guide-tests -> rosette-guide-sec2-tests | Stephen Chang | 1 | +0 | -0 |
| 2016-08-31 20:22 | add remaining Rosette guide, sec2 examples | Stephen Chang | 3 | +60 | -14 |
| 2016-08-31 19:42 | split Bool into True and False in stlc+union; add current-bitwidth to rosett2 | Stephen Chang | 5 | +31 | -7 |
| 2016-08-31 19:19 | add solve | Stephen Chang | 2 | +50 | -3 |
| 2016-08-31 19:02 | add synthesize and lib/synthax | Stephen Chang | 6 | +65 | -7 |
| 2016-08-31 16:58 | fix syntax taint errs produced by srcloc workaround in #%app | Stephen Chang | 3 | +28 | -2 |
| 2016-08-30 20:58 | add verify, evaluate; and debug, render in separate libs | Stephen Chang | 6 | +150 | -19 |
| 2016-08-30 15:41 | add immutable vectors; add "of" suffix to data structure type constructors | Stephen Chang | 6 | +44 | -25 |
| 2016-08-29 20:57 | fix inf loop in current-sub? | Stephen Chang | 3 | +46 | -6 |
| 2016-08-29 20:13 | use type-cast and assert-pred for assert-type | AlexKnauth | 4 | +80 | -46 |
| 2016-08-29 19:25 | add rosette-guide-tests; add various forms | Stephen Chang | 4 | +135 | -7 |
| 2016-08-29 15:26 | add more assert-type tests | AlexKnauth | 2 | +57 | -10 |
| 2016-08-26 21:01 | add tests for assert-type; use new lifted bitvector? as BVPred "pred" stx prop | Stephen Chang | 6 | +79 | -54 |
| 2016-08-26 20:52 | add a lifted bitvector? predicate | AlexKnauth | 1 | +23 | -0 |
| 2016-08-26 19:15 | add Any; remove rosette1 dependencies | Stephen Chang | 2 | +31 | -22 |
| 2016-08-26 18:28 | add check-type+asserts | AlexKnauth | 3 | +52 | -4 |
| 2016-08-26 16:42 | fix bv sdsl tests | Stephen Chang | 2 | +5 | -14 |
| 2016-08-26 15:56 | convert bv.rkt to extend rosette2 | AlexKnauth | 5 | +75 | -58 |
| 2016-08-26 15:11 | add some forms required by bv sdsl: Param, let, define (no tests yet) | Stephen Chang | 4 | +55 | -12 |
| 2016-08-25 21:00 | uncomment more tests | AlexKnauth | 2 | +41 | -31 |
| 2016-08-25 20:43 | add pred stx props and assert-type | Stephen Chang | 2 | +51 | -9 |
| 2016-08-25 19:38 | uncomment more tests | AlexKnauth | 2 | +15 | -15 |
| 2016-08-25 19:27 | fix BVPred to not use old rosette version | Stephen Chang | 3 | +40 | -4 |
| 2016-08-25 18:17 | add if and define-symbolic | Stephen Chang | 3 | +103 | -6 |
| 2016-08-25 15:59 | rosette2: support more bv operations | AlexKnauth | 2 | +18 | -14 |
| 2016-08-25 15:38 | rosette2: start on bv operations | AlexKnauth | 2 | +77 | -26 |
| 2016-08-25 15:09 | rosette2: add sub1 and + | AlexKnauth | 3 | +32 | -5 |
| 2016-08-25 14:07 | rosette2: support applying symbolic function types | AlexKnauth | 2 | +16 | -1 |
| 2016-08-25 13:53 | rosette2: support applying Ccase-> functions | AlexKnauth | 2 | +123 | -18 |
| 2016-08-24 23:42 | more work on rosette2 | AlexKnauth | 2 | +111 | -2 |
| 2016-08-24 20:54 | start rosette2 | Stephen Chang | 3 | +199 | -3 |
| 2016-08-24 19:27 | add case-> to rosette | AlexKnauth | 4 | +111 | -36 |
| 2016-08-24 13:33 | use flatten/depth-lens instead of stx-append*n-lens | AlexKnauth | 1 | +11 | -11 |
| 2016-07-27 23:34 | add stlc+union+case | Stephen Chang | 7 | +240 | -30 |
| 2016-07-26 20:32 | start stlc+union | Stephen Chang | 4 | +172 | -4 |
| 2016-07-22 20:48 | start typed ifc | Stephen Chang | 2 | +140 | -0 |
| 2016-07-22 20:47 | add list to typed rosette | Stephen Chang | 3 | +14 | -4 |
| 2016-07-22 19:49 | typed fsm lang uses choose from typed rosette | Stephen Chang | 2 | +7 | -11 |
| 2016-07-22 19:33 | add more fsm tests | Stephen Chang | 2 | +10 | -1 |
| 2016-07-22 18:16 | fix choose in typed fsm lang | Stephen Chang | 5 | +82 | -42 |
| 2016-07-22 18:16 | fix more src locs in typecheck.rkt | Stephen Chang | 1 | +14 | -9 |
| 2016-08-18 21:04 | support #:do and #:fail-when syntax-parse options | AlexKnauth | 1 | +6 | -0 |
| 2016-08-18 20:49 | allow arbitrary number of dashes in type rules | Stephen Chang | 2 | +9 | -3 |
| 2016-08-18 19:17 | allow single env, implies empty tvctx | Stephen Chang | 2 | +7 | -5 |
| 2016-08-18 18:52 | make prop tag optional, defaults to : | Stephen Chang | 2 | +24 | -15 |
| 2016-08-18 17:15 | add #:attributes decleration | AlexKnauth | 1 | +1 | -0 |
| 2016-08-17 21:49 | remove square brackets around syntax-parse kws | AlexKnauth | 18 | +244 | -244 |
| 2016-07-28 16:26 | update deps | Stephen Chang | 1 | +3 | -1 |
| 2016-07-26 15:44 | remove brackets around e ≫ e- | AlexKnauth | 21 | +445 | -445 |
| 2016-07-26 13:27 | support multiple ellipses on ind-clauses | AlexKnauth | 1 | +24 | -10 |
| 2016-07-26 12:46 | refactor turnstile | AlexKnauth | 1 | +43 | -40 |
| 2016-07-25 14:24 | support multiple ellipses in the rhs of turnstile clauses | AlexKnauth | 3 | +70 | -34 |
| 2016-07-20 23:05 | use stx lenses from lens pkg instead of append-lens.rkt | Stephen Chang | 2 | +1 | -145 |
| 2016-07-20 22:44 | enable use of define-type-alias in language implementations | Stephen Chang | 8 | +25 | -17 |
| 2016-07-20 22:40 | disable some overloading tests to avoid marshalling error | Stephen Chang | 1 | +68 | -68 |
| 2016-07-19 20:27 | fix rosette tests again | Stephen Chang | 2 | +4 | -6 |
| 2016-07-19 19:46 | add typed fsm forms except verification forms | Stephen Chang | 3 | +24 | -8 |
| 2016-07-19 19:46 | fix bv tests | Stephen Chang | 4 | +24 | -33 |
| 2016-07-19 19:42 | update `extends` and `reuse` in typecheck.rkt to: | Stephen Chang | 10 | +55 | -40 |
| 2016-07-19 19:40 | add stx-append*-lens | Stephen Chang | 1 | +13 | -2 |
| 2016-07-18 22:30 | start fsm, (bv tests not passing) | Stephen Chang | 4 | +82 | -2 |
| 2016-07-14 16:50 | fix typed equal? to use rosette equal? | Stephen Chang | 2 | +55 | -2 |
| 2016-07-14 16:50 | add random testing check-equal | Stephen Chang | 1 | +14 | -1 |
| 2016-07-13 23:21 | finish typed-bv lang: typechecks all easy/med/hard tests | Stephen Chang | 5 | +546 | -3 |
| 2016-07-12 20:54 | rename bv -> rosette | Stephen Chang | 3 | +103 | -103 |
| 2016-07-12 20:52 | add parameters | Stephen Chang | 1 | +15 | -0 |
| 2016-07-12 20:36 | add all bv ops from rosette | Stephen Chang | 2 | +192 | -13 |
| 2016-07-11 23:29 | start typed bv | Stephen Chang | 2 | +74 | -0 |
| 2016-07-19 15:05 | add append-lens.rkt | AlexKnauth | 1 | +133 | -0 |
| 2016-07-11 23:23 | turnstile provides postfix-in | Stephen Chang | 1 | +1 | -0 |
| 2016-07-06 19:51 | add racket version req to readme | Stephen Chang | 1 | +3 | -0 |
| 2016-07-06 19:49 | update readme with new dir structure | Stephen Chang | 1 | +5 | -10 |
| 2016-07-01 16:43 | factor out do-tests macro | AlexKnauth | 3 | +51 | -84 |
| 2016-07-01 16:05 | copy over the rest of the mlish tests | AlexKnauth | 40 | +5500 | -35 |
| 2016-06-30 22:23 | copy over the rest of the non-mlish tests | AlexKnauth | 13 | +1704 | -33 |
| 2016-06-30 21:42 | start copying tests over to macrotypes/examples/tests | AlexKnauth | 24 | +2266 | -220 |
| 2016-06-27 20:41 | infer instantiations for argument positions, add define/rec | AlexKnauth | 3 | +65 | -38 |
| 2016-06-27 14:23 | infer instantiations for function positions | AlexKnauth | 2 | +4 | -2 |
| 2016-06-27 13:39 | implement occurs check | AlexKnauth | 2 | +31 | -4 |
| 2016-06-24 23:11 | add define, *, and a new join | AlexKnauth | 5 | +74 | -5 |
| 2016-06-24 16:11 | implement turnstile/examples/infer.rkt | AlexKnauth | 4 | +239 | -20 |
| 2016-06-24 16:25 | refactor type-constraints a bit | AlexKnauth | 4 | +23 | -10 |
| 2016-06-28 17:35 | rename typed-lang-builder -> turnstile | AlexKnauth | 101 | +2765 | -2765 |
| 2016-06-28 17:22 | fix lam-testing.rkt | AlexKnauth | 1 | +1 | -1 |
| 2016-06-28 17:14 | reorganize | AlexKnauth | 211 | +16737 | -16727 |
| 2016-06-28 15:49 | delete old directory | AlexKnauth | 13 | +0 | -2038 |
| 2016-06-27 22:46 | allow omitting _'s and ≫'s in the conclusion | AlexKnauth | 1 | +6 | -2 |
| 2016-06-27 22:23 | add τ⊑ #:for expression syntax | AlexKnauth | 4 | +26 | -6 |
| 2016-06-27 21:55 | use ≫ instead of ▶ | AlexKnauth | 18 | +167 | -167 |
| 2016-06-23 14:43 | rename mlish-core to mlish | AlexKnauth | 36 | +67 | -853 |
| 2016-06-22 22:12 | convert the rest of tlb-mlish-tests.rkt | AlexKnauth | 2 | +34 | -25 |
| 2016-06-22 20:58 | convert more mlish tests to typed-lang-builder/mlish-core | AlexKnauth | 3 | +34 | -34 |
| 2016-06-22 17:51 | convert more mlish tests to typed-lang-builder/mlish-core | AlexKnauth | 6 | +6 | -6 |
| 2016-06-22 17:35 | convert more mlish tests to typed-lang-builder/mlish-core | AlexKnauth | 19 | +57 | -30 |
| 2016-06-22 16:06 | start converting mlish tests to typed-lang-builder/mlish-core | AlexKnauth | 7 | +10 | -9 |
| 2016-06-22 15:47 | remove no-longer-needed with clauses | AlexKnauth | 1 | +5 | -9 |
| 2016-06-22 15:00 | allow nested ⇒ arrows in the conclusion | AlexKnauth | 2 | +26 | -36 |
| 2016-06-22 13:55 | factor out fail messages | AlexKnauth | 7 | +47 | -24 |
| 2016-06-22 13:05 | check against a possible existing type for ⇐s at the top | AlexKnauth | 1 | +49 | -18 |
| 2016-06-22 12:16 | fix nullable-EH-pat warning | AlexKnauth | 1 | +8 | -8 |
| 2016-06-22 01:58 | more work on exist and mlish-core | AlexKnauth | 2 | +27 | -37 |
| 2016-06-22 01:26 | simplify stlc+effect, mix left and right arrows | AlexKnauth | 2 | +9 | -11 |
| 2016-06-22 01:16 | implement new syntax for parallel arrows and nested right arrows | AlexKnauth | 17 | +433 | -379 |
| 2016-06-21 22:06 | improve how patterns can refer to each other | AlexKnauth | 10 | +152 | -206 |
| 2016-06-20 20:09 | implement mlish-core with typed-lang-builder | AlexKnauth | 3 | +2223 | -2 |
| 2016-06-20 19:36 | implement fomega with typed-lang-builder | AlexKnauth | 6 | +250 | -6 |
| 2016-06-20 19:25 | implement sysf and fsub with typed-lang-builder | AlexKnauth | 4 | +127 | -3 |
| 2016-06-20 19:21 | implement sub and reco+sub with typed-lang-builder | AlexKnauth | 4 | +161 | -2 |
| 2016-06-20 19:17 | implement rec-iso and exist with typed-lang-builder | AlexKnauth | 4 | +169 | -40 |
| 2016-06-20 19:14 | implement stlc+box and stlc+effect with typed-lang-builder | AlexKnauth | 6 | +174 | -24 |
| 2016-06-20 19:09 | implement stlc+reco-var and stlc+cons with typed-lang-builder | AlexKnauth | 4 | +267 | -11 |
| 2016-06-20 19:07 | implement ext-stlc and stlc+tup with typed-lang-builder | AlexKnauth | 4 | +204 | -21 |
| 2016-06-20 19:05 | start on typed-lang-builder | AlexKnauth | 6 | +393 | -7 |
| 2016-06-20 19:04 | rename syntax properties | AlexKnauth | 3 | +28 | -28 |
| 2016-06-20 18:22 | use λ- etc. for untyped forms, λ etc. for typed | AlexKnauth | 22 | +436 | -428 |
| 2016-06-18 14:12 | add postfix-in require form | AlexKnauth | 1 | +36 | -0 |
| 2016-06-15 17:58 | add define-base-names, eg define-base-types, abbreviation | Stephen Chang | 2 | +6 | -4 |
| 2016-06-14 20:21 | mlish: reuse inst from sysf | Stephen Chang | 1 | +1 | -10 |
| 2016-06-13 14:49 | infer.rkt: use find-free-Xs, propagate expected type more | AlexKnauth | 1 | +15 | -13 |
| 2016-06-13 14:29 | factor out solve function in infer.rkt | AlexKnauth | 1 | +30 | -19 |
| 2016-06-13 14:06 | use add-constraints in infer.rkt | AlexKnauth | 2 | +29 | -52 |
| 2016-06-13 13:17 | factor out type-constraint functions | AlexKnauth | 2 | +154 | -135 |
| 2016-06-10 17:27 | use syntax-track-origin when substituting identifiers | AlexKnauth | 1 | +10 | -1 |
| 2016-06-10 17:26 | don't use this-syntax in type pattern-expanders | AlexKnauth | 1 | +6 | -4 |
| 2016-06-10 16:32 | dont use syntax-track-origin to transfer stx props | Stephen Chang | 4 | +20 | -25 |
| 2016-06-07 19:58 | fix typecheck-fail to use check-exn correctly and fix all the broken tests | AlexKnauth | 11 | +45 | -50 |
| 2016-06-04 22:36 | improve srcloc information for function applications | AlexKnauth | 1 | +8 | -4 |
| 2016-06-03 21:40 | use ~literal/else for better τ-expander error messages | AlexKnauth | 1 | +20 | -8 |
| 2016-06-03 20:53 | use ~Any/bvs in type-constructor pattern expanders | AlexKnauth | 1 | +14 | -9 |
| 2016-05-23 18:40 | refactor common code into make-arg-variances-proc function | AlexKnauth | 1 | +42 | -32 |
| 2016-05-20 20:20 | infer variances for recursive and mutually recursive datatypes | AlexKnauth | 4 | +739 | -19 |
| 2016-05-14 01:53 | refactor to use ctxt-variance in find-variances | AlexKnauth | 1 | +45 | -27 |
| 2016-05-20 17:20 | add mlish/sweet-map.rkt test | AlexKnauth | 1 | +20 | -0 |
| 2016-05-13 14:15 | refactor variance code into infer-variances function | AlexKnauth | 1 | +16 | -12 |
| 2016-05-12 19:32 | Merged in allow-generalization-covariant (pull request #23) | Alex Knauth | 9 | +515 | -85 |
| 2016-05-12 01:31 | add more tests | AlexKnauth | 1 | +82 | -0 |
| 2016-05-10 23:03 | allow some under-constrained function applications | AlexKnauth | 2 | +18 | -1 |
| 2016-05-10 22:58 | add find-X-variance, covariant-X?, and covariant-Xs? | AlexKnauth | 4 | +193 | -3 |
| 2016-05-06 22:00 | use find-free-Xs, propagate expected type more | AlexKnauth | 3 | +45 | -11 |
| 2016-05-06 17:09 | modify solve to return all of the arguments | AlexKnauth | 4 | +40 | -21 |
| 2016-05-05 21:13 | use add-constraints for type unification | AlexKnauth | 4 | +101 | -26 |
| 2016-05-03 15:28 | don't give empty foralls to functions | AlexKnauth | 1 | +22 | -28 |
| 2016-05-03 15:00 | add ?∀ and ?Λ | AlexKnauth | 1 | +19 | -0 |
| 2016-05-10 18:35 | test the example that would have been unsound | AlexKnauth | 2 | +26 | -0 |
| 2016-05-10 18:05 | don't make new foralls for under-constrained function applications | AlexKnauth | 2 | +20 | -24 |
| 2016-05-05 14:21 | refactor solve to return a substitution | AlexKnauth | 1 | +18 | -7 |
| 2016-05-04 22:09 | modify #%app to deal with under-constrained function applications | AlexKnauth | 3 | +140 | -28 |
| 2016-05-05 18:06 | lift out version consts for checking preserved prop | Stephen Chang | 1 | +4 | -1 |
| 2016-05-03 18:40 | run-all-mlish-tests script: use find-system-path | Stephen Chang | 1 | +3 | -17 |
| 2016-05-03 18:22 | abstract and cleanup run-all-mlish-tests script | Stephen Chang | 1 | +55 | -33 |
| 2016-05-03 17:54 | add extra nested lambda test cases | Stephen Chang | 1 | +15 | -0 |
| 2016-05-01 01:16 | remove unnecessary annotations | AlexKnauth | 2 | +17 | -11 |
| 2016-05-02 19:11 | allow unannotated lambdas | AlexKnauth | 1 | +12 | -3 |
| 2016-05-02 18:29 | add ~?∀ for matching possibly polymorphic types | AlexKnauth | 1 | +12 | -1 |
| 2016-05-01 03:58 | use (current-join) in cond, match, and match2 | AlexKnauth | 3 | +14 | -20 |
| 2016-04-28 20:46 | mark syntax properties as preserved | AlexKnauth | 3 | +24 | -19 |
| 2016-04-21 15:02 | handle #f and #<syntax #f> expected types | AlexKnauth | 1 | +7 | -6 |
| 2016-04-20 23:18 | for/fold produces better err msg | Stephen Chang | 2 | +8 | -1 |
| 2016-04-20 21:50 | fix continuation marks src in type-error | Stephen Chang | 1 | +4 | -4 |
| 2016-04-20 19:42 | change current-join to throw error on fail | Stephen Chang | 3 | +20 | -17 |
| 2016-04-20 18:12 | datatype constructors are functions | Stephen Chang | 2 | +35 | -20 |
| 2016-04-20 17:51 | define-type automatically defines accessors and predicates for record variants | Stephen Chang | 3 | +82 | -3 |
| 2016-04-19 20:06 | fix bug in `reuse` to avoid conflict with ids that happen to use the same prefix | Stephen Chang | 1 | +5 | -2 |
| 2016-04-19 19:10 | infer quantified type variables in the order that they occur (L-to-R) | Stephen Chang | 6 | +123 | -72 |
| 2016-04-19 16:27 | use stx->list, closes #10 | Stephen Chang | 1 | +19 | -26 |
| 2016-04-18 22:22 | minor cleanup: add compute-tyvars | Stephen Chang | 1 | +32 | -34 |
| 2016-04-14 19:31 | srcloc for typecheck-fail | AlexKnauth | 1 | +21 | -18 |
| 2016-04-13 23:32 | fix the order of inferred tyvars in fn defs | Stephen Chang | 10 | +42 | -40 |
| 2016-04-13 22:03 | add some type validation in define-type | Stephen Chang | 3 | +64 | -18 |
| 2016-04-13 19:14 | code cleanup | Stephen Chang | 5 | +129 | -265 |
| 2016-04-13 18:00 | revise extra-info to handle mutually recursive datatypes | Stephen Chang | 12 | +245 | -152 |
| 2016-04-11 20:09 | remove unneeded type annotations in okasaki tests | Stephen Chang | 7 | +53 | -50 |
| 2016-03-23 19:01 | [bg] add Okasaki data structures | ben | 1 | +1656 | -0 |
| 2016-04-11 18:53 | fix match expected-type propagation to non-datatype clauses | Stephen Chang | 4 | +27 | -6 |
| 2016-04-11 18:22 | remove spurious type annotations in tests | Stephen Chang | 2 | +30 | -30 |
| 2016-04-11 18:01 | fix more stx-parse err msgs; and other err msgs | Stephen Chang | 4 | +30 | -18 |
| 2016-04-11 17:56 | add trees-tests file | Stephen Chang | 1 | +51 | -0 |
| 2016-04-06 21:15 | workaround syntax-parse error msg regressions | Stephen Chang | 4 | +27 | -21 |
| 2016-04-06 21:10 | improve rackunit-typechecking | Stephen Chang | 4 | +43 | -43 |
| 2016-04-05 14:55 | fix type constructor arity err causing inf loop | Stephen Chang | 3 | +44 | -6 |
| 2016-04-05 04:14 | eliminate dup expansion of some args in mlish #%app | Stephen Chang | 7 | +42 | -20 |
| 2016-04-04 23:07 | mlish code cleanup | Stephen Chang | 2 | +90 | -119 |
| 2016-04-01 21:08 | start match2 exhaustiveness checking; nested checks not quite working | Stephen Chang | 3 | +236 | -34 |
| 2016-03-31 03:25 | fix match2 bug with nested user-defined datatypes | Stephen Chang | 2 | +14 | -4 |
| 2016-03-30 20:12 | fix a few err msg issues | Stephen Chang | 7 | +143 | -13 |
| 2016-03-30 17:51 | fix and enhance match2 | Stephen Chang | 3 | +194 | -21 |
| 2016-03-29 21:14 | start match2, with support for nested matches --- dont use yet | Stephen Chang | 3 | +172 | -8 |
| 2016-03-29 17:55 | refactor match; add match support for built-in lists | Stephen Chang | 4 | +180 | -76 |
| 2016-03-29 16:34 | update bg/README | Stephen Chang | 1 | +23 | -13 |
| 2016-03-28 23:37 | fix some file extensions for mlish tests | Stephen Chang | 5 | +5 | -5 |
| 2016-03-28 23:30 | refactor mlish tests; parallize run-all-mlish-tests somewhat | Stephen Chang | 11 | +341 | -281 |
| 2016-03-28 21:51 | add another polyrecur example | Stephen Chang | 1 | +22 | -0 |
| 2016-03-28 21:26 | add implicitqueue tests to polyrecur.mlish | Stephen Chang | 1 | +40 | -0 |
| 2016-03-28 21:11 | mlish: suppot polymorphic recursion | Stephen Chang | 4 | +96 | -19 |
| 2016-03-23 22:33 | add bens tests to run-all-mlish | Stephen Chang | 2 | +8 | -3 |
| 2016-03-23 17:31 | Merge branch 'mlish-examples' of bitbucket.org:stchang/macrotypes | Stephen Chang | 5 | +1024 | -0 |
| 2016-03-23 16:15 | readme update | Stephen Chang | 1 | +5 | -3 |
| 2016-03-23 16:11 | add main readme | Stephen Chang | 1 | +12 | -0 |
| 2016-03-23 16:05 | move old files to old dir | Stephen Chang | 13 | +0 | -0 |
| 2016-03-23 15:59 | add small test to result.mlish | Stephen Chang | 1 | +14 | -0 |
| 2016-03-23 05:22 | [bg] lambda calculus interpreter | ben | 2 | +108 | -0 |
| 2016-03-23 04:06 | [bg] huffman trees | ben | 3 | +311 | -0 |
| 2016-03-23 01:25 | [bg] more lists, sorting, CPS | ben | 3 | +600 | -271 |
| 2016-03-22 03:48 | [bg] starter functions | ben | 2 | +276 | -0 |
| 2016-03-21 04:17 | add result.mlish to run-all-mlish-tests | Stephen Chang | 1 | +1 | -0 |
| 2016-03-21 04:07 | add read-tree example | AlexKnauth | 4 | +168 | -0 |
| 2016-03-19 03:25 | propagate expected type through lambda | AlexKnauth | 2 | +14 | -0 |
| 2016-03-19 00:57 | define-type-alias supports type constructors | Stephen Chang | 3 | +29 | -1 |
| 2016-03-18 21:11 | fix bug using expected type of id constructors, eg nil | Stephen Chang | 1 | +10 | -2 |
| 2016-03-18 16:34 | mlish: clean up cond so else is not handled separately | Stephen Chang | 2 | +9 | -18 |
| 2016-03-18 15:57 | fix expected-ty propagation in cond else; closes #3 | Stephen Chang | 2 | +5 | -1 |
| 2016-03-17 23:22 | add more inst.mlish tests | Stephen Chang | 1 | +10 | -0 |
| 2016-03-17 23:03 | use expected type to help infer instantiation of an app | Stephen Chang | 3 | +38 | -1 |
| 2016-03-17 20:44 | allow explicit tyvars in fn def: workaround for inferred poly fn type with wrong arg order | Stephen Chang | 3 | +58 | -10 |
| 2016-03-14 05:29 | fix stlc+effect; add check-props testing form | Stephen Chang | 3 | +93 | -8 |
| 2016-03-10 22:08 | fix let to check expected type against body | Stephen Chang | 3 | +26 | -3 |
| 2016-03-10 21:35 | add find-min/max | AlexKnauth | 1 | +40 | -0 |
| 2016-03-10 21:23 | fix mlish tests to use ->/test -- all tests passing | Stephen Chang | 2 | +12 | -12 |
| 2016-03-10 21:14 | fix bug with tyvar computation | Stephen Chang | 3 | +18 | -5 |
| 2016-03-10 19:30 | implement find example | AlexKnauth | 2 | +34 | -0 |
| 2016-03-10 15:26 | fix another srcloc | AlexKnauth | 1 | +3 | -1 |
| 2016-03-10 15:15 | propagate srcloc to check-equal? form | AlexKnauth | 1 | +3 | -2 |
| 2016-03-10 05:39 | clean up requires/provides, see other mlish language additions below | Stephen Chang | 15 | +440 | -58 |
| 2016-03-08 21:25 | mlish: add nbody test | Stephen Chang | 4 | +196 | -3 |
| 2016-03-08 19:50 | add more iterators and matrix tests | Stephen Chang | 12 | +278 | -80 |
| 2016-03-08 04:53 | mlish: add require/provide, boxes, set!, more iterators | Stephen Chang | 6 | +223 | -9 |
| 2016-03-07 05:31 | mlish: add hash, fl prims, str prims, output, and some other prims | Stephen Chang | 14 | +278 | -20 |
| 2016-03-05 15:12 | mlish: add for/list, when, printf, multi expr bodies | Stephen Chang | 3 | +133 | -8 |
| 2016-03-04 21:13 | mlish: add vectors, sequences, and iteration | Stephen Chang | 8 | +139 | -16 |
| 2016-03-04 19:20 | separate out mlish queens test | Stephen Chang | 3 | +149 | -44 |
| 2016-03-04 19:15 | add mlish tests | Stephen Chang | 3 | +145 | -0 |
| 2016-03-04 04:38 | mlish: add concurrency prims and test | Stephen Chang | 5 | +79 | -11 |
| 2016-03-02 22:08 | fix missing clauses check; code cleanup | Stephen Chang | 3 | +32 | -44 |
| 2016-03-02 20:34 | mlish: fix define-type and match | Stephen Chang | 5 | +244 | -48 |
| 2016-02-29 20:36 | some code cleanup | Stephen Chang | 1 | +1 | -16 |
| 2016-02-29 20:31 | fix match guards and ordering | Stephen Chang | 3 | +48 | -39 |
| 2016-02-29 19:21 | - add folding compuate+instantiate-or-inferral of args in app | Stephen Chang | 3 | +164 | -43 |
| 2016-02-29 05:18 | fix mlish match | Stephen Chang | 3 | +49 | -28 |
| 2016-02-27 22:31 | fix more app err msgs in tests; all tests passing | Stephen Chang | 7 | +29 | -27 |
| 2016-02-27 21:26 | fix mlish tests to use new app err msg abstractions | Stephen Chang | 3 | +58 | -42 |
| 2016-02-26 21:54 | clean up app err msgs; need to fix tests | Stephen Chang | 4 | +56 | -65 |
| 2016-02-25 22:02 | add top lvl defines and infer instantation | Stephen Chang | 2 | +171 | -11 |
| 2016-02-25 00:02 | all constructor type instantiations (in tests) inferred | Stephen Chang | 4 | +74 | -19 |
| 2016-02-23 00:23 | start mlish lang | Stephen Chang | 10 | +465 | -16 |
| 2016-01-12 20:29 | add stlc+effect.rkt | Stephen Chang | 2 | +308 | -0 |
| 2015-12-21 23:55 | infer some lambda param types from body | Stephen Chang | 4 | +107 | -20 |
| 2015-12-17 22:05 | add more infer examples | Stephen Chang | 1 | +9 | -0 |
| 2015-12-17 21:16 | finish nqueens example for infer.rkt | Stephen Chang | 3 | +67 | -7 |
| 2015-12-17 00:39 | implement list functions using infer.rkt: annotations still required for top lvl fns and unapplied lams | Stephen Chang | 9 | +271 | -34 |
| 2015-12-11 22:01 | start exploring (local) inference | Stephen Chang | 4 | +277 | -1 |
| 2015-12-09 22:30 | stlc+cons: inference testing | Stephen Chang | 2 | +8 | -4 |
| 2015-10-27 20:29 | use string-prefix from racket/string | Stephen Chang | 1 | +3 | -3 |
| 2015-10-22 21:12 | occurrence: use tups instead of records | Stephen Chang | 1 | +2 | -2 |
| 2015-10-22 21:12 | add occurrence and overloading to run-all-tests | Stephen Chang | 1 | +4 | -2 |
| 2015-10-22 21:07 | Merged in overload (pull request #6) | stchang | 2 | +284 | -0 |
| 2015-10-22 21:07 | [overload] remove design/ folder | Ben Greenman | 4 | +0 | -158 |
| 2015-10-22 21:05 | Merged in o+ (pull request #4) | stchang | 4 | +587 | -99 |
| 2015-10-22 19:20 | [overload] now improved with identifier macros | Ben Greenman | 4 | +284 | -286 |
| 2015-10-22 17:22 | add stlc fail tests | Stephen Chang | 1 | +10 | -2 |
| 2015-10-22 17:22 | add stlc+sub tests | Stephen Chang | 2 | +7 | -0 |
| 2015-10-22 09:44 | [overload] fix export-as, export 'resolve', fix subtyping | Ben Greenman | 2 | +73 | -46 |
| 2015-10-21 04:47 | [overloading] initial revision, overloading via parameter | Ben Greenman | 4 | +259 | -175 |
| 2015-10-20 22:06 | [overload] doc'd the problem with lambda, gosh I miss let | Ben Greenman | 2 | +20 | -0 |
| 2015-10-20 20:42 | [overload] add run-time desugar to design doc | Ben Greenman | 1 | +12 | -4 |
| 2015-10-20 04:49 | [overload] got \psi-types and signature init | Ben Greenman | 1 | +123 | -0 |
| 2015-10-20 04:49 | [overload] outline tests | Ben Greenman | 1 | +52 | -0 |
| 2015-10-20 00:44 | [overload] design doc for \psi types | Ben Greenman | 3 | +130 | -0 |
| 2015-10-19 17:53 | [o+] some examples from ICFP'10 paper | Ben Greenman | 1 | +56 | -0 |
| 2015-10-17 19:13 | [occurrence] filters for lists | Ben Greenman | 2 | +93 | -1 |
| 2015-10-16 22:56 | [occurrence] filters for products | Ben Greenman | 2 | +263 | -66 |
| 2015-10-15 19:37 | regression tests for subs? | Ben Greenman | 1 | +4 | -0 |
| 2015-10-15 19:08 | [o+] allow unions as filters | Ben Greenman | 2 | +60 | -8 |
| 2015-10-15 18:31 | [o+] check for same-arity functions in unions | Ben Greenman | 2 | +50 | -34 |
| 2015-10-15 18:08 | [o+] check & filter functions (by arity) | Ben Greenman | 2 | +76 | -7 |
| 2015-10-15 18:00 | bugfix in stlc+sub: subs assumed length=? | Ben Greenman | 1 | +3 | -1 |
| 2015-10-14 19:39 | define star as rename-transformer to #%type, in fomega | Stephen Chang | 2 | +14 | -10 |
| 2015-10-14 18:55 | generalize fomega ty= to avoid specific types; add tests | Stephen Chang | 5 | +32 | -15 |
| 2015-10-12 16:42 | clean up fomega2/3, remove many type-eval | Stephen Chang | 4 | +49 | -101 |
| 2015-10-14 01:08 | Merged in occurrence (pull request #3) | stchang | 2 | +490 | -0 |
| 2015-10-13 19:16 | [occurence] simple filters complete | Ben Greenman | 2 | +179 | -126 |
| 2015-10-13 16:51 | [occurrence] subtyping, normal form, and VERY BASIC filters. Having trouble propogating variables. | Ben Greenman | 2 | +337 | -23 |
| 2015-10-11 04:22 | [occurrence] type eval | Ben Greenman | 2 | +41 | -18 |
| 2015-10-09 20:59 | define-type-constructor supports annotated bound vars | Stephen Chang | 12 | +98 | -100 |
| 2015-10-09 06:24 | [occurrence] simple type evaluator, assumes no recursive unions | Ben Greenman | 2 | +19 | -7 |
| 2015-10-08 17:22 | add existential tests demonstrating hidden type | Stephen Chang | 1 | +8 | -0 |
| 2015-10-08 17:21 | rec-iso, reduce ty=? to just focus on lamda | Stephen Chang | 1 | +11 | -2 |
| 2015-10-06 20:32 | [occurrence] constructor + basic tests | Ben Greenman | 2 | +88 | -0 |
| 2015-10-06 18:28 | define-syntax-category defines default type=?; other cleanup | Stephen Chang | 4 | +43 | -10 |
| 2015-10-01 20:21 | replace provide/requires with "extends...except"/"reuse...from" forms | Stephen Chang | 20 | +712 | -504 |
| 2015-09-23 21:01 | use #lang typecheck | Stephen Chang | 16 | +26 | -41 |
| 2015-09-21 22:16 | Merged in make-var-like-trans (pull request #1) | stchang | 3 | +21 | -9 |
| 2015-09-21 22:09 | use make-variable-like-transformer | AlexKnauth | 1 | +2 | -7 |
| 2015-09-21 21:54 | add version of make-variable-like-transformer | AlexKnauth | 1 | +16 | -2 |
| 2015-09-21 21:54 | add .gitignore | AlexKnauth | 1 | +3 | -0 |
| 2015-09-16 19:04 | fix subtyping bug in if; add current-join | Stephen Chang | 4 | +26 | -9 |
| 2015-09-16 19:04 | rec-iso: refactor requires so stlc+tup is base lang | Stephen Chang | 1 | +5 | -6 |
| 2015-09-10 18:29 | fix define-type-constructor to properly error if used at runtime | Stephen Chang | 5 | +54 | -19 |
| 2015-08-28 20:57 | code cleanup; add define-sub-relation | Stephen Chang | 15 | +236 | -1309 |
| 2015-08-27 23:30 | all tests passing with define-syntax-category (except some err msgs in fomega2) | Stephen Chang | 3 | +287 | -126 |
| 2015-08-27 21:23 | fomega working with define-syntax-category | Stephen Chang | 3 | +292 | -275 |
| 2015-08-21 23:28 | progress commit: stuck on fomega+define-syntax-category | Stephen Chang | 18 | +671 | -764 |
| 2015-08-20 18:49 | fix bugs in fomega2 | Stephen Chang | 3 | +38 | -23 |
| 2015-08-19 23:29 | completed: type valiation; new type constructor pattern matching | Stephen Chang | 24 | +956 | -595 |
| 2015-08-14 23:37 | progress commit: use typechecking system to typecheck types - ported (tests passing) up to stlc+sub.rkt | Stephen Chang | 29 | +1532 | -920 |
| 2015-08-07 22:12 | new define-type-constructor: exist-tests.rkt passing | Stephen Chang | 4 | +94 | -81 |
| 2015-08-07 21:26 | new define-type-constructor: support binding forms | Stephen Chang | 16 | +385 | -281 |
| 2015-08-04 22:24 | use new define-type-constructor and #%type in stlc+box | Stephen Chang | 4 | +43 | -42 |
| 2015-08-04 22:21 | use new define-type-constructor and #%type in stlc+cons | Stephen Chang | 4 | +93 | -65 |
| 2015-08-04 21:31 | use #%type in stlc+reco+var.rkt; tests passing | Stephen Chang | 3 | +176 | -163 |
| 2015-07-31 21:33 | fix type constructor pattern matching and extraction | Stephen Chang | 9 | +280 | -191 |
| 2015-07-30 18:12 | extend define-tycon with "get"- extract matched type by pat var name | Stephen Chang | 4 | +52 | -20 |
| 2015-07-29 18:27 | start require "extends" macro in typecheck.rkt | Stephen Chang | 1 | +29 | -2 |
| 2015-07-28 23:32 | ext-stlc-tests.rkt passing | Stephen Chang | 3 | +78 | -31 |
| 2015-07-28 23:14 | cleanup typecheck.rkt | Stephen Chang | 2 | +49 | -70 |
| 2015-07-28 21:49 | add #%plain-type; cleanup | Stephen Chang | 5 | +87 | -94 |
| 2015-07-28 19:25 | add #%type annotation; add type->str; type constructor pattern match | Stephen Chang | 5 | +96 | -46 |
| 2015-07-24 20:26 | add tycon pattern matching to stlc | Stephen Chang | 6 | +243 | -71 |
| 2015-07-20 22:03 | add fsub test; typecheck? needs to call current-promote | Stephen Chang | 2 | +17 | -2 |
| 2015-07-10 22:14 | add current-promote; fsub avoids extending app and proj | Stephen Chang | 4 | +13 | -66 |
| 2015-07-10 19:43 | complete fsub | Stephen Chang | 6 | +222 | -18 |
| 2015-07-09 19:37 | start fsub | Stephen Chang | 3 | +83 | -0 |
| 2015-07-09 19:34 | cleanup | Stephen Chang | 3 | +7 | -70 |
| 2015-07-09 19:30 | consolidate typecheck.rkt: impl everything in terms of infer fn | Stephen Chang | 3 | +19 | -9 |
| 2015-07-09 18:00 | finish exist.rkt | Stephen Chang | 4 | +276 | -7 |
| 2015-07-08 21:24 | add stlc+rec-iso files; rename record files; start exist | Stephen Chang | 15 | +920 | -441 |
| 2015-07-08 21:15 | move define to stlc+var.rkt; cleanup | Stephen Chang | 3 | +25 | -26 |
| 2015-06-30 20:32 | add stlc+(iso)recursive types | Stephen Chang | 6 | +21 | -5 |
| 2015-06-30 16:43 | report errors in terms of surface, not expanded, type | Stephen Chang | 5 | +83 | -14 |
| 2015-06-29 23:41 | add fomega2.rkt | Stephen Chang | 7 | +387 | -32 |
| 2015-06-29 22:37 | code cleanup | Stephen Chang | 9 | +23 | -110 |
| 2015-06-29 22:20 | implement fomega type-level abs and app | Stephen Chang | 4 | +204 | -49 |
| 2015-06-26 22:56 | convert type representation to fully expanded syntax | Stephen Chang | 21 | +569 | -257 |
| 2015-06-12 23:33 | small cleanup | Stephen Chang | 1 | +0 | -1 |
| 2015-06-12 23:30 | make define-type-const a macro to enable error checking | Stephen Chang | 7 | +53 | -46 |
| 2015-06-11 20:46 | fomega with kinds, no operator abstraction yet | Stephen Chang | 7 | +160 | -39 |
| 2015-06-10 21:34 | start fomega | Stephen Chang | 3 | +78 | -2 |
| 2015-06-10 21:31 | move eval-tau out of typecheck.rkt | Stephen Chang | 9 | +118 | -70 |
| 2015-06-10 19:56 | code cleanup | Stephen Chang | 11 | +26 | -150 |
| 2015-06-04 19:22 | add current-typecheck-relation - generalizes equality and subtype | Stephen Chang | 12 | +56 | -45 |
| 2015-06-03 23:25 | use parameters to implement extensible type relations (instead of eval) | Stephen Chang | 10 | +103 | -49 |
| 2015-05-28 23:19 | cleanup: remove origin prop | Stephen Chang | 1 | +2 | -12 |
| 2015-05-28 23:18 | move type=? out of typecheck.rkt and into each language def | Stephen Chang | 12 | +171 | -61 |
| 2015-05-28 21:40 | cleanup | Stephen Chang | 2 | +43 | -140 |
| 2015-05-28 21:28 | move eval-tau to vdash (and testing forms) | Stephen Chang | 3 | +56 | -50 |
| 2015-05-28 20:01 | add sysf; fix begin splicing problem | Stephen Chang | 4 | +91 | -32 |
| 2015-05-27 23:25 | start sysf | Stephen Chang | 5 | +93 | -11 |
| 2015-05-27 21:31 | add stlc+rec+sub.rkt | Stephen Chang | 9 | +166 | -22 |
| 2015-05-27 20:07 | add stlc+sub | Stephen Chang | 4 | +116 | -28 |
| 2015-05-26 23:34 | start stlc+sub | Stephen Chang | 4 | +50 | -8 |
| 2015-05-26 22:04 | add stlc+box | Stephen Chang | 4 | +271 | -3 |
| 2015-05-26 20:38 | add stlc+cons | Stephen Chang | 5 | +293 | -4 |
| 2015-05-22 23:00 | add records and variants | Stephen Chang | 5 | +188 | -48 |
| 2015-05-21 18:54 | add define-type-alias, changes: | Stephen Chang | 13 | +160 | -91 |
| 2015-05-20 23:27 | add stlc+tup | Stephen Chang | 8 | +270 | -7 |
| 2015-05-20 22:10 | add ext-stlc, not including data structures | Stephen Chang | 4 | +250 | -3 |
| 2015-05-20 19:26 | stlc+lit: cleanup and comment | Stephen Chang | 2 | +10 | -7 |
| 2015-05-20 19:20 | add errors for invalid types | Stephen Chang | 3 | +19 | -11 |
| 2015-05-20 19:01 | add define-primop | Stephen Chang | 4 | +103 | -33 |
| 2015-05-20 16:17 | add infer+erase | Stephen Chang | 4 | +52 | -38 |
| 2015-05-19 23:00 | tapl: stlc code cleanup | Stephen Chang | 2 | +2 | -29 |
| 2015-05-19 22:58 | tapl: add lam-testing example | Stephen Chang | 2 | +23 | -2 |
| 2015-05-19 22:54 | tapl: reimplement stlc using rename-transformers instead of typeenv | Stephen Chang | 8 | +338 | -14 |
| 2014-11-11 23:21 | start tapl/ dir | Stephen Chang | 3 | +24 | -0 |
| 2014-09-16 22:56 | racket extended: name ldots in pattern | Stephen Chang | 1 | +4 | -4 |
| 2014-09-16 22:56 | stlc+define+cons: add void at end of list of es | Stephen Chang | 1 | +2 | -1 |
| 2014-09-04 18:22 | stlc+define+cons + ext: | Stephen Chang | 4 | +61 | -34 |
| 2014-09-04 18:20 | stlc + ext: | Stephen Chang | 3 | +13 | -7 |
| 2014-09-04 18:17 | varargs + other primop updates | Stephen Chang | 1 | +56 | -11 |
| 2014-09-03 22:52 | stlc+define+cons/racket-ext: cleanup | Stephen Chang | 1 | +2 | -233 |
| 2014-09-03 22:50 | stlc+define+cons/racket-ext: check unit type in cases clauses | Stephen Chang | 1 | +3 | -2 |
| 2014-09-03 22:44 | stlc+define+cons/racket-ext: cleanup | Stephen Chang | 1 | +0 | -80 |
| 2014-09-03 22:42 | stlc+cons+defined-via-racket-ext: cases working, all tests passing; todo: abstract the meta(term) stx class | Stephen Chang | 3 | +130 | -68 |
| 2014-09-03 18:14 | stlc+cons+defined-via-racket-ext: add top level define | Stephen Chang | 3 | +395 | -244 |
| 2014-08-28 20:23 | stlc+define-ext: add begin, void, if | Stephen Chang | 1 | +18 | -0 |
| 2014-08-28 20:22 | add tests for testing extended datum | Stephen Chang | 1 | +2 | -1 |
| 2014-08-28 20:22 | use define-simple-syntax/type-rule instead of define-term/type-rule | Stephen Chang | 1 | +3 | -4 |
| 2014-08-28 20:21 | stlc+define-via-racket-ext: add tests | Stephen Chang | 1 | +182 | -0 |
| 2014-08-28 20:20 | racket-ext: | Stephen Chang | 1 | +49 | -9 |
| 2014-08-28 19:22 | add stlc+define+cons-via-racket-extended.rkt | Stephen Chang | 2 | +363 | -3 |
| 2014-08-28 19:22 | update stlc-via-racket-ext to use changes from racket-ext: declare-base-types, automatic requires/provides | Stephen Chang | 1 | +4 | -4 |
| 2014-08-28 19:21 | add extends form for racket-extended | Stephen Chang | 1 | +49 | -17 |
| 2014-08-27 20:33 | stlc+define+cons: add printf, make vararg for primops work | Stephen Chang | 2 | +67 | -55 |
| 2014-08-27 20:32 | typecheck: fix error msg to not reveal internal stack trace; primop | Stephen Chang | 1 | +30 | -10 |
| 2014-08-27 18:51 | typecheck: add define-primop | Stephen Chang | 1 | +28 | -1 |
| 2014-08-27 18:50 | stx-utils: add stx-length and stx-last | Stephen Chang | 1 | +10 | -3 |
| 2014-08-27 18:50 | stlc: use define-primop; rename stlc-test stlc-tests.rkt | Stephen Chang | 5 | +14 | -170 |
| 2014-08-26 23:25 | rename tests for stlc+define+cons | Stephen Chang | 1 | +152 | -0 |
| 2014-08-26 23:24 | stlc+define+cons passing tests (in stlc-tests.rkt) | Stephen Chang | 2 | +39 | -19 |
| 2014-08-26 20:53 | add parallel implementation what uses racket-extended instead of racket | Stephen Chang | 3 | +171 | -0 |
| 2014-08-26 20:52 | split stlc into stlc.rkt and stlc+define+cons.rkt | Stephen Chang | 2 | +29 | -300 |
| 2014-08-26 20:50 | add notes file | Stephen Chang | 1 | +53 | -0 |
| 2014-08-21 17:31 | stlc, sysf: make function tycon infix instead of prefix | Stephen Chang | 6 | +79 | -66 |
| 2014-08-20 23:20 | sysf: fix forall inst problems | Stephen Chang | 2 | +60 | -47 |
| 2014-08-20 23:19 | typecheck: reimpl apply-forall, doing manual subst, special-handling binding forms | Stephen Chang | 1 | +29 | -4 |
| 2014-08-20 23:18 | stx-utils: add stx-member | Stephen Chang | 1 | +4 | -2 |
| 2014-08-20 18:39 | sysf: impl renaming of forall binders but then backed out | Stephen Chang | 3 | +69 | -16 |
| 2014-08-19 20:06 | cleanup old type-error usage | Stephen Chang | 2 | +3 | -16 |
| 2014-08-19 20:05 | typecheck: add type-error form | Stephen Chang | 2 | +26 | -6 |
| 2014-08-19 19:53 | stlc: cleanup | Stephen Chang | 1 | +3 | -12 |
| 2014-08-19 19:50 | sysf-tests: small edit to nqueens test | Stephen Chang | 1 | +3 | -3 |
| 2014-08-18 22:36 | sysf: add inst, better error when type insts are missing in app | Stephen Chang | 2 | +171 | -9 |
| 2014-08-18 22:34 | stlc: | Stephen Chang | 2 | +58 | -9 |
| 2014-08-15 23:07 | code cleanup | Stephen Chang | 3 | +3 | -54 |
| 2014-08-15 23:04 | stlc and sysf: require define to give explicit return type sysf: extended cases to handle forall | Stephen Chang | 5 | +129 | -54 |
| 2014-08-15 21:10 | stlc: implement define/tc | Stephen Chang | 1 | +27 | -36 |
| 2014-08-15 20:22 | typecheck.rkt: add apply-forall | Stephen Chang | 1 | +19 | -2 |
| 2014-08-15 20:21 | stlc: add extensibility note in define-type | Stephen Chang | 1 | +9 | -0 |
| 2014-08-15 20:18 | sysf: move apply-forall to typecheck.rkt | Stephen Chang | 1 | +0 | -15 |
| 2014-08-15 20:16 | sysf: code cleanup | Stephen Chang | 1 | +8 | -113 |
| 2014-08-15 20:11 | stlc: fix some bugs | Stephen Chang | 1 | +39 | -35 |
| 2014-08-15 19:54 | stlc-tests: fix accidental copy and paste | Stephen Chang | 1 | +0 | -131 |
| 2014-08-15 19:33 | sysf: basic forall type working | Stephen Chang | 1 | +130 | -315 |
| 2014-08-15 19:32 | add sysf tests | Stephen Chang | 1 | +10 | -0 |
| 2014-08-15 19:32 | stx-utils: add curly-parens? | Stephen Chang | 1 | +5 | -2 |
| 2014-08-14 19:15 | separate general type checking fns from stlc | Stephen Chang | 2 | +126 | -115 |
| 2014-08-14 18:28 | fix some stlc bugs | Stephen Chang | 2 | +152 | -3 |
| 2014-08-13 20:39 | sysf: copied from stlc | Stephen Chang | 1 | +118 | -50 |
| 2014-08-13 19:38 | stlc bug: cases expr had no type | Stephen Chang | 2 | +15 | -3 |
| 2014-08-13 18:30 | stlc cleanup | Stephen Chang | 1 | +2 | -2 |
| 2014-08-13 18:28 | add stlc tests for recursive define-types (ie intlist) | Stephen Chang | 2 | +37 | -8 |
| 2014-08-12 23:16 | stlc: cleanup | Stephen Chang | 1 | +12 | -59 |
| 2014-08-12 21:58 | stlc: non parametric maybe working; havent tried recursive types (ie cons) | Stephen Chang | 4 | +152 | -32 |
| 2014-08-08 21:03 | add sysf: copied from stlc | Stephen Chang | 1 | +347 | -0 |
| 2014-08-08 21:03 | cleanup | Stephen Chang | 1 | +0 | -5 |
| 2014-08-08 20:53 | add void to end of module begin of stlc; add some recursive tests | Stephen Chang | 2 | +5 | -1 |
| 2014-08-06 21:29 | module-begin, define, and letrec working | Stephen Chang | 2 | +195 | -21 |
| 2014-08-05 19:28 | add lambda internal begin test | Stephen Chang | 1 | +3 | -2 |
| 2014-08-05 19:27 | add begin to stlc | Stephen Chang | 2 | +55 | -26 |
| 2014-08-05 18:46 | add null? | Stephen Chang | 2 | +26 | -9 |
| 2014-08-05 18:40 | add (non parametric) lists to stlc | Stephen Chang | 2 | +52 | -11 |
| 2014-08-05 18:21 | add let to stlc | Stephen Chang | 2 | +38 | -48 |
| 2014-08-05 17:34 | switch to parameter for gamma | Stephen Chang | 2 | +44 | -22 |
| 2014-08-04 22:49 | add multi arg lam, app, and + | Stephen Chang | 2 | +51 | -32 |
| 2014-08-04 22:49 | add stx-utils | Stephen Chang | 1 | +5 | -0 |
| 2014-08-01 22:51 | add stlc | Stephen Chang | 2 | +133 | -0 |
