racket/collects/deinprogramm/scribblings
Mike Sperber 16a27c6391 For DMdA languages, document which signatures work with `check-property'.
Namely, not the singular record signature, but the signature
constructors of `define-record-procedures-parametric'.

(We'd done this before, but that patch got reverted, without the
doc part getting reinstated.)
2011-12-18 14:18:42 +01:00
..
deinprogramm.scrbl
DMdA-advanced.scrbl
DMdA-assignments.scrbl
DMdA-beginner.scrbl
DMdA-lib.scrbl
DMdA-vanilla.scrbl
image.scrbl
info.rkt
ka-style.tex
ka.scrbl
line3d.scrbl
p1.jpg
p2.jpg
p3.jpg
p4.jpg
prim-ops.rkt
shared.rkt
sound.scrbl
std-grammar.rkt
turtle.scrbl
world.scrbl