Mike Sperber 89ec442c04 Merge branches/mike/quickcheck: ... Add QuickCheck-based property testing to the DeinProgramm/DMdA languages. svn: r15901		2009-09-07 16:31:18 +00:00
..
contract	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +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	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
convert-explicit.scm
convert-explicit.ss
define-record-procedures.scm
define-record-procedures.ss
deinprogramm-langs.ss	improved performance of the teaching languages	2009-04-01 00:15:20 +00:00
deinprogramm-struct.ss
DMdA-advanced-reader.ss
DMdA-advanced.ss	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
DMdA-assignments-reader.ss
DMdA-assignments.ss	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
DMdA-beginner-reader.ss
DMdA-beginner.ss	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
DMdA-reader.ss
DMdA-vanilla-reader.ss
DMdA-vanilla.ss	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
DMdA.ss	Merge branches/mike/quickcheck:	2009-09-07 16:31:18 +00:00
image.ss
info.ss
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
run-dmda-code.ss
syntax-checkers.ss
test-suite.ss
turtle.ss
world.ss	Remove some unneeded stuff from the DeinProgramm world.ss teachpack.	2009-03-28 13:38:12 +00:00