Mike Sperber f3191ff4d6 Define `any' signature differently. ... ... to actually enable the subtyping check. Also, make named signatures work for signature variables.		2010-10-13 09:41:10 +02:00
..
module-begin.rkt	Allow specifying arbitary expressions in a signature declaration.	2010-10-08 13:12:18 +02:00
signature-english.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-german.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-syntax.rkt	Define `any' signature differently.	2010-10-13 09:41:10 +02:00
signature-unit.rkt	2nd attempt at generators for records/structs.	2010-10-11 13:34:16 +02:00
signature.rkt	2nd attempt at generators for records/structs.	2010-10-11 13:34:16 +02:00