Casey Klein
|
83451fea98
|
Add evaluation contexts for by-need letrec calculus as an example
|
2011-09-19 12:20:45 -05:00 |
|
Casey Klein
|
ecdd50da09
|
Tests defined-checks directly
|
2011-08-30 15:10:50 -05:00 |
|
Casey Klein
|
efa04066c6
|
Tests define-judgment-form's Check Syntax interaction
|
2011-08-16 14:32:33 -05:00 |
|
Casey Klein
|
576272362b
|
Adds define-judgment-form form
|
2011-08-05 07:19:23 -05:00 |
|
Eli Barzilay
|
3157955d40
|
".ss" -> ".rkt" scan done.
|
2011-07-02 10:37:53 -04:00 |
|
Casey Klein
|
fd401ce98e
|
Adds docs test to the test script
|
2011-05-02 06:02:50 -05:00 |
|
Casey Klein
|
6fc20125b0
|
Adds the STLC example to the test script
|
2011-04-06 11:11:43 -05:00 |
|
Casey Klein
|
df3bc8980b
|
Fixes a bug in the stepper's diff highlighting
|
2011-03-29 13:05:02 -05:00 |
|
Casey Klein
|
3250ff846c
|
Adds a Redex version of Jay's continuation mark transformation
|
2011-01-29 15:26:30 -06:00 |
|
Casey Klein
|
f4c4b79049
|
Renames delim-cont tests so that they're not stripped by the distribution script.
(Merge to release branch.)
|
2010-10-25 15:18:16 -05:00 |
|
Casey Klein
|
623925b5d7
|
Adds the delimited continuations model to examples
|
2010-08-18 13:19:11 -05:00 |
|
Eli Barzilay
|
86891b30a1
|
redex/examples/mzscheme-machine -> racket-machine
|
2010-05-15 18:41:08 -04:00 |
|
Matthew Flatt
|
28b4043077
|
rename all files .ss -> .rkt
|
2010-04-27 16:50:15 -06:00 |
|