suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9b1188c77a
racket/collects/deinprogramm
History
Mike Sperber 9b1188c77a Re-instate Robby's hack to display test results off REPL errors. 
... and generalize it so there's an action before (clearing the old
tests out) in addition to after (displaying the test results).

Also, do for DMdA as for HtDP.
2010-10-08 15:25:44 +02: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 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
scribblings LaTeX fix for documentation. 2010-09-18 15:09:11 +02:00
signature Better error message for certain bogus signatures. 2010-10-08 13:55:42 +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 Provide English and German versions of deinprogramm/signature/signature. 2010-10-08 11:19:38 +02:00
define-record-procedures.scm Implement lazy signature checking for ordinary pairs. 2010-09-22 11:03:01 +02:00
deinprogramm-langs.rkt Re-instate Robby's hack to display test results off REPL errors. 2010-10-08 15:25:44 +02: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 `any' signature to DMdA languages. 2010-09-16 18:19:32 +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 "Vertrag" -> "Signatur" in a few places. 2010-09-17 18:02:34 +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 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.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