suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8d39c15b17
racket/collects/deinprogramm
History
Mike Sperber 8d39c15b17 Make contracts available in HtDP languages. 
Known breakage: when blame is assigned to a procedure defined via
(define (f ...) ...), its source position isn't reported because its
lambda expression is generated.
2010-05-21 19:30:37 +02:00
..
contract Merge deinprogramm/contract/contract-test-display into test-engine/test-display.scm. 2010-05-20 16:57:46 +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 A lot of "DrScheme" -> "DrRacket"s. 2010-05-17 01:27:03 -04:00
convert-explicit.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
convert-explicit.scm Lazy contract checking for DMdA's `define-record-procedures-parametric'. 2010-04-13 07:57:57 +00:00
define-record-procedures.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
define-record-procedures.scm Lazy contract checking for DMdA's `define-record-procedures-parametric'. 2010-04-13 07:57:57 +00:00
deinprogramm-langs.rkt Make contracts available in HtDP languages. 2010-05-21 19:30:37 +02:00
DMdA-advanced-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-advanced.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-assignments-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-assignments.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-beginner-reader.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA-beginner.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06: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 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
DMdA.rkt Cosmetic change to new-style require. 2010-05-20 16:12:50 +02:00
image.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06: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
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 all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
world.rkt A lot of "DrScheme" -> "DrRacket"s. 2010-05-17 01:27:03 -04:00