suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6ac33a62be
racket/collects/deinprogramm
History
Matthew Flatt 6ac33a62be set `read-accept-lang' to #t by default, plus related adjustments 
including adding some uses of `with-module-read-parameterization'
 so that `read-accept-lang' is set right anyway; still, so many
 many places just set `read-accept-reader' to #t that making
 `read-accept-lang' #f by default looks like too big of an
 incompatibility
2010-10-08 19:01:33 -06:00
..
DMdA/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-advanced/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-assignments/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-beginner/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-vanilla/lang rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
quickcheck Create arbitraties off parametric struct/record signature constructors. 2010-10-08 17:21:07 +02:00
scribblings Create arbitraties off parametric struct/record signature constructors. 2010-10-08 17:21:07 +02:00
signature Check parametric struct/record signatures eagerly. 2010-10-08 17:01:47 +02:00
convert-explicit.rkt Provide English and German versions of deinprogramm/signature/signature. 2010-10-08 11:19:38 +02:00
convert-explicit.scm Fix breakage due to lazy contracts. 2010-05-20 19:55:12 +02:00
define-record-procedures.rkt Create arbitraties off parametric struct/record signature constructors. 2010-10-08 17:21:07 +02:00
define-record-procedures.scm Create arbitraties off parametric struct/record signature constructors. 2010-10-08 17:21:07 +02:00
deinprogramm-langs.rkt set `read-accept-lang' to #t by default, plus related adjustments 2010-10-08 19:01:33 -06:00
DMdA-advanced-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-advanced.rkt Add `any' signature to DMdA languages. 2010-09-16 18:19:32 +02:00
DMdA-assignments-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-assignments.rkt Add `any' signature to DMdA languages. 2010-09-16 18:19:32 +02:00
DMdA-beginner-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-beginner.rkt Add cons' and cons?' as synonyms for make-pair' and pair?' to DMdA. 2010-10-08 15:25:44 +02:00
DMdA-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-vanilla-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-vanilla.rkt Add `any' signature to DMdA languages. 2010-09-16 18:19:32 +02:00
DMdA.rkt Zap `DMdA-' from primitive procedures in DMdA. 2010-10-08 15:25:44 +02:00
image.rkt Rename DMdA/HtDP "contract" to "signature". 2010-06-28 14:58:16 +02:00
info.rkt improved the suggest-a-language dialog that you get in the there-is-no-language-picked-yet language 2010-04-29 12:21:10 -05:00
line3d.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
line3d.scm
logo-small.png
run-dmda-code.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
syntax-checkers.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
test-suite.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
turtle.rkt Rename DMdA/HtDP "contract" to "signature". 2010-06-28 14:58:16 +02:00
world.rkt Change a bunch of "~%" and "~n" in format strings to "\n". 2010-08-25 17:17:01 -04:00