..
compiler
".ss" -> ".rkt" scan done.
2011-07-02 10:37:53 -04:00
arrow.rkt
improve Redex's arrow drawing
2011-03-27 14:49:34 -05:00
core-layout.rkt
Adds with-compound-rewriters typesetting form
2011-08-10 12:24:00 -05:00
defined-checks.rkt
Adds define-term form
2011-08-30 15:10:50 -05:00
dot.rkt
Rackety (mostly letrec-values => define and minimizing dependencies)
2011-10-31 09:14:34 -05:00
error.rkt
Improves error for references to not-yet-defined metafunctions
2011-04-07 13:17:15 -05:00
fresh.rkt
Rackety (mostly letrec-values => define and minimizing dependencies)
2011-10-31 09:14:34 -05:00
keyword-macros.rkt
fix some redex bugs caught by drdr tests
2011-11-09 06:47:38 -06:00
loc-wrapper-ct.rkt
Adds define-judgment-form form
2011-08-05 07:19:23 -05:00
loc-wrapper-rt.rkt
".ss" -> ".rkt" scan done.
2011-07-02 10:37:53 -04:00
loc-wrapper.rkt
".ss" -> ".rkt" scan done.
2011-07-02 10:37:53 -04:00
matcher.rkt
delay the construction of the compatible-closure grammar (the 'cross' thing)
2011-10-30 22:36:53 -05:00
pict.rkt
Adds support for ellipsis-repeated premises
2011-08-10 12:24:01 -05:00
red-sem-macro-helpers.rkt
reduction-semantics.rkt
adjust define-judgment-form so that it
2011-11-20 22:50:07 -06:00
rewrite-side-conditions.rkt
added support for where & side-condition & judgment-holds to define-relation
2011-11-20 21:34:22 -06:00
rg.rkt
fix some redex bugs caught by drdr tests
2011-11-09 06:47:38 -06:00
sexp-diffs.rkt
Fixes another bug in the stepper's diff highlighting
2011-03-29 13:05:03 -05:00
size-snip.rkt
".ss" -> ".rkt" scan done.
2011-07-02 10:37:53 -04:00
stepper.rkt
add a "Step Until Choice" option into the redex stepper
2011-10-14 13:37:12 -05:00
struct.rkt
Rackety (mostly letrec-values => define and minimizing dependencies)
2011-10-31 09:14:34 -05:00
term-fn.rkt
Adds define-term form
2011-08-30 15:10:50 -05:00
term.rkt
Adds define-term form
2011-08-30 15:10:50 -05:00
traces.rkt
".ss" -> ".rkt" scan done.
2011-07-02 10:37:53 -04:00
underscore-allowed.rkt
e788c6f49e