commits

SHA	Message	Author	Date
78a7fc91	Add generator for any.	Mike Sperber <s**r@d**e>	over 1 year ago
ea6a9fa1	Make QuickCheck result record into a transparent struct.	Mike Sperber <s**r@d**e>	over 1 year ago
82e4ac38	Add missing dependency on htdp-lib.	Mike Sperber <s**r@d**e>	over 1 year ago
19b38782	Add beginnings of more tests.	Mike Sperber <s**r@d**e>	almost 2 years ago
ef16501e	Split deinprogramm package	Mike Sperber <s**r@d**e>	almost 2 years ago
e3b914a2	Clear all tests when running more tests in REPL	Mike Sperber <s**r@d**e>	almost 2 years ago
4cad25ba	Handle syntax error in property correctly.	Mike Sperber <s**r@d**e>	almost 2 years ago
edf22598	Avoid bombing in error reporting	Mike Sperber <s**r@d**e>	over 2 years ago
ebfe2d46	Zap DMdA language levels.	Mike Sperber <s**r@d**e>	over 2 years ago
2f558282	Don't try to attach a name to the signature signature.	Mike Sperber <s**r@d**e>	over 2 years ago
0f4bea8b	Add another sample to image generator	Mike Sperber <s**r@d**e>	almost 3 years ago
fecdee4b	DTRT with the REPL in #lang deinprogramm/sdp/*	Mike Sperber <s**r@d**e>	about 3 years ago
3d7ec370	Make stepper ignore dummy uses	Mike Sperber <s**r@d**e>	over 3 years ago
fa88cecb	Rename avanced-reader.rkt to advanced-reader.rkt	Denis Hirn <k**x@um> Committed by: Mike Sperber <sr@d**e>	over 3 years ago
217ff0e1	Include signature declarations with DrRacket's binding arrows	Mike Sperber <s**r@d**e>	over 3 years ago
c1805b99	Unbreak signatures for define-record and define-singleton	Mike Sperber <s**r@d**e>	over 3 years ago
b606a891	Unbreak signature tests from previous change.	Mike Sperber <s**r@d**e>	over 3 years ago
20a5048c	Turn blame field in signature violations into srcloc	Mike Sperber <s**r@d**e>	over 3 years ago
0e26aebd	Include blame syntax with parameter-count mismatch violation message.	Mike Sperber <s**r@d**e>	over 3 years ago
bac3af84	Set read-decimal-as-inexact to #f for the REPL in deinprogramm/ langs	Mike Sperber <s**r@d**e>	over 3 years ago
0e08f71f	Make singleton predicates optional.	Mike Sperber <s**r@d**e>	almost 4 years ago
bc8d8d02	Unbreak top-level uses of record constructor and singletons.	Mike Sperber <s**r@d**e>	almost 4 years ago
8f673069	Fix typo in 'else' error message	Johannes Maier <j**r@ae> Committed by: Mike Sperber <sr@d**e>	almost 4 years ago
23cab827	Typo fix in y-place signature	Mike Sperber <s**r@d**e>	almost 4 years ago
39127bf7	Don't include singletons in duplicate-variable check.	Mike Sperber <s**r@d**e>	almost 4 years ago
a1e46100	Add missing singleton module.	Mike Sperber <s**r@d**e>	almost 4 years ago
3074011c	Add define-singleton.	Mike Sperber <s**r@d**e>	almost 4 years ago
98e2826b	Zap advanced-define.	Mike Sperber <s**r@d**e>	about 4 years ago
cfba04a3	One more stray make-pair -> cons rename.	Mike Sperber <s**r@d**e>	about 4 years ago
03f834ce	Unbreak the stepper	Mike Sperber <s**r@d**e>	about 4 years ago
6d7b2364	Rename some old make-pair -> cons	Mike Sperber <s**r@d**e>	about 4 years ago
5f2abac4	Zap stray quoted from advanced grammar	Mike Sperber <s**r@d**e>	about 4 years ago
00beab63	Provide begin in #lang deinprogramm/sdp/advanced.	Mike Sperber <s**r@d**e>	about 4 years ago
d5bd24fb	Include equal? in the deinprogramm/sdp languages.	Mike Sperber <s**r@d**e>	over 4 years ago
2cad628a	Make =, string=? not accept 1 argument.	Mike Sperber <s**r@d**e>	over 4 years ago
4e620a0b	Print signature violations even if program aborts	Mike Sperber <s**r@d**e>	over 4 years ago
170ab305	define-record-functions is intentionally undocumented	Mike Sperber <s**r@d**e>	over 4 years ago
103a52c3	Document internal defines in deinprogramm/sdp/*.	Mike Sperber <s**r@d**e>	over 4 years ago
fc51efe9	Allow internal definitions in match.	Mike Sperber <s**r@d**e>	over 4 years ago
98f07c45	Zap docs on define-record-functions, long obsolete	Mike Sperber <s**r@d**e>	over 4 years ago
97848310	Move SdP teachpacks to a patch better for require use.	Mike Sperber <s**r@d**e>	over 4 years ago
2894fce2	add package dependency	Matthew Flatt <m**t@r**g>	over 4 years ago
fd1af80f	Provide some arbitraries for image teachpack	Mike Sperber <s**r@d**e>	over 4 years ago
08225ae4	Make image=? available in image teachpack	Mike Sperber <s**r@d**e>	over 4 years ago
c71c1ee3	Minor doc fix	Mike Sperber <s**r@d**e>	over 4 years ago
fb3689ad	Adjust QuickCheck parameters.	Mike Sperber <s**r@d**e>	almost 5 years ago
ff47f5f6	Make generate for rationals properly sized.	Mike Sperber <s**r@d**e>	almost 5 years ago
de76a5ee	Allow internal definitions in for-all.	Mike Sperber <s**r@d**e>	almost 5 years ago
8e4f052a	add license to package info.rkt files	Philip McGrath <p**p@pm> Committed by: Matthew Flatt <mt@c**u>	almost 5 years ago
e6d46381	More tests for QuickCheck.	Mike Sperber <s**r@d**e>	almost 5 years ago
f50e85fc	More varied generator for reals.	Mike Sperber <s**r@d**e>	almost 5 years ago
e734eab5	Generate result for exceptions.	Mike Sperber <s**r@d**e>	almost 5 years ago
8cea0bdc	Fix typo in pick.	Mike Sperber <s**r@d**e>	almost 5 years ago
31630339	Better error message for match constructor arity mismatch.	Mike Sperber <s**r@d**e>	almost 5 years ago
82c4ec8d	Rename nonempty-list-of -> cons-list-of.	Mike Sperber <s**r@d**e>	almost 5 years ago
fe4624d7	Error message terminology fix.	Mike Sperber <s**r@d**e>	almost 5 years ago
1b213d65	Allow full require forms in SdP languages.	Mike Sperber <s**r@d**e>	almost 5 years ago
6b1fbb13	Add #lang deinprogramm/sdp	Mike Sperber <s**r@d**e>	almost 5 years ago
4c15e991	Follow change in stepper button to propagate language settings.	Mike Sperber <s**r@d**e>	about 5 years ago
92ea8cce	Fix dependency problem.	Sam Tobin-Hochstadt <s**h@iu> Committed by: GitHub <ny@g**m>	about 5 years ago
000bffa8	Unify printing.	Mike Sperber <s**r@d**e>	about 5 years ago
b84ff95b	Correctly print signatures and functions in SdP error messages.	Mike Sperber <s**r@d**e>	about 5 years ago
96df7c20	Add mouse-event and pad-event signatures to universe teachpack	Mike Sperber <s**r@d**e>	over 5 years ago
e9fb6845	Slightly improved error message for signature syntax error.	Mike Sperber <s**r@d**e>	over 5 years ago
ed288360	Use markup ports for value rendering.	Mike Sperber <s**r@d**e>	over 5 years ago
e653cf5f	Proper Stepper button for #lang deinprogramm/sdp/...	Mike Sperber <s**r@d**e>	over 5 years ago
e02df9eb	Call our cons "cons".	Mike Sperber <s**r@d**e>	over 5 years ago
80af554c	Make #lang languages more like htdp ones.	Mike Sperber <s**r@d**e>	over 5 years ago
f6fe30f5	Properly print values in #lang deinprogramm/sdp.	Mike Sperber <s**r@d**e>	over 5 years ago
842e26a9	Unbreak docs for true and false.	Mike Sperber <s**r@d**e>	almost 6 years ago
2d71110c	Add integer-from-to.	Mike Sperber <s**r@d**e>	almost 6 years ago
2b4ae977	Activate error message for (list-of form form ...).	Mike Sperber <s**r@d**e>	almost 6 years ago
cd62976c	Follow the change to split out test-engine/syntax over in htdp-lib.	Mike Sperber <s**r@d**e>	almost 6 years ago
8b95ec7d	merge Merge pull request #8 from rfindler/master	Mike Sperber <s**r@de> Committed by: GitHub <ny@g**m>	almost 6 years ago
2adb0f1d	Typo fix.	Mike Sperber <s**r@d**e>	almost 6 years ago
f6cea1a6	remove unused requires	Robby Findler <r**y@r**g>	almost 6 years ago
603ee319	Minor design-recipe fixes	Mike Sperber <s**r@d**e>	almost 6 years ago
4a83a258	New book	Mike Sperber <s**r@d**e>	almost 6 years ago
0b7111d9	Add missing snip-lib dependency	Mike Sperber <s**r@d**e>	almost 6 years ago
4f56c242	Wrong word in docs	Mike Sperber <s**r@d**e>	about 6 years ago
8a77e203	merge Merge pull request #7 from das-g/patch-1	Mike Sperber <s**r@de> Committed by: GitHub <ny@g**m>	about 6 years ago
ec3041e8	Korrigiere Tippfehler / Grammatik: "da" -> "das"	Raphael Das Gupta <g**t@rh> Committed by: GitHub <ny@g**m>	about 6 years ago
249ed44b	merge Merge branch 'master' of https://github.com/racket/deinprogramm	Mike Sperber <s**r@d**e>	about 6 years ago
341c60af	merge Merge pull request #6 from spdegabrielle/patch-1	Mike Sperber <s**r@de> Committed by: GitHub <ny@g**m>	about 6 years ago
93e399ea	give tools distinctive names	Stephen De Gabrielle <s**e@um> Committed by: GitHub <ny@g**m>	over 6 years ago
b2b6d124	Number KA sections from 0, to match book	Mike Sperber <s**r@d**e>	over 6 years ago
93b066ef	Follow test-engine rewrite.	Mike Sperber <s**r@d**e>	over 6 years ago
6b06c4d3	A few instances of (list ...) -> (list-of ...) in docs	Mike Sperber <s**r@d**e>	over 6 years ago
baa97410	Aligned design recipes with book.	Mike Sperber <s**r@d**e>	over 6 years ago
231064e7	Better error message if no expression after internal defines	Mike Sperber <s**r@d**e>	over 6 years ago
1d39b907	Rename define-record-functions -> define-record.	Mike Sperber <s**r@d**e>	over 6 years ago
aa7c33f0	Revert "Fix test-engine/test-info references."	Mike Sperber <s**r@d**e>	over 6 years ago
069b571b	Revert "Fix reference to test-engine/test-display."	Mike Sperber <s**r@d**e>	over 6 years ago
973b1635	Fix test-engine/test-info references.	Mike Sperber <s**r@d**e>	over 6 years ago
a1ed41c9	Fix reference to test-engine/test-display.	Mike Sperber <s**r@d**e>	over 6 years ago
fae8120e	One more sentence for abstraction design recipe	Mike Sperber <s**r@d**e>	over 6 years ago
662487e6	KAs for natural numbers, abstraction	Mike Sperber <s**r@d**e>	over 6 years ago
b4b1b1da	Require test-engine/racket-gui instead of test-engine/scheme-gui.	Mike Sperber <s**r@d**e>	over 6 years ago
ca6afdc5	Require test-engine/racket-tests instead of test-engine/scheme-tests.	Mike Sperber <s**r@d**e>	over 6 years ago
2acab715	More info in the default exception for signature violation.	Mike Sperber <s**r@d**e>	over 6 years ago

← Back to repository

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / racket/deinprogramm / commits