suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
14b0232f27
racket/collects/deinprogramm
History
Mike Sperber c26b3b8c6c Make the Stepper behavior on and/or configurable: 
In the HtDP languages, initial subexpressions that have evaluated to
#t / #f remain in the residual term, whereas in the DMdA languages,
they do not.

svn: r16018
2009-09-15 17:32:21 +00:00
..
contract Check that the operands of `one-of' don't yield contracts. 2009-09-09 15:18:14 +00:00
DMdA/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-advanced/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-assignments/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-beginner/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-vanilla/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
quickcheck Merge branches/mike/quickcheck: 2009-09-07 16:31:18 +00:00
scribblings Brush up the (commented-out) documentation of `require' for the DMdA 2009-09-14 14:42:52 +00:00
convert-explicit.scm Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
convert-explicit.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
define-record-procedures.scm Zap a bunch more `define-contract' forms. 2009-09-11 09:38:59 +00:00
define-record-procedures.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
deinprogramm-langs.ss Make the Stepper behavior on and/or configurable: 2009-09-15 17:32:21 +00:00
deinprogramm-struct.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-advanced-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-advanced.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
DMdA-assignments-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-assignments.ss Don't export quote, symbol? from DMdA-assignments language. 2009-09-14 14:26:20 +00:00
DMdA-beginner-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-beginner.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
DMdA-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-vanilla-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-vanilla.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
DMdA.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
image.ss Fix comment about location of deinprogramm image.ss's tests. 2009-09-14 14:44:35 +00:00
info.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
line3d.scm Newlines at EOFs 2009-07-04 02:28:31 +00:00
line3d.ss Newlines at EOFs 2009-07-04 02:28:31 +00:00
logo-small.png Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
run-dmda-code.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
syntax-checkers.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
test-suite.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
turtle.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
world.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00