Add "image2" teachpack for DMdA.

This is just our copy of 2htdp/image.
2010-10-11 13:54:29 +02:00 · 2010-10-11 13:54:29 +02:00 · c4b590d9bf
commit c4b590d9bf
parent eebe5b2e2b
1 changed files with 13 additions and 0 deletions
--- a/collects/teachpack/deinprogramm/image2.ss
+++ b/collects/teachpack/deinprogramm/image2.ss
@ -0,0 +1,13 @@
+#lang racket/base
+(provide (all-from-out teachpack/2htdp/image)
+	 image)
+
+(require teachpack/2htdp/image)
+(require deinprogramm/signature/signature)
+(require deinprogramm/signature/signature-syntax)
+(require deinprogramm/signature/signature-german)
+
+(define image
+  (signature (predicate image?)))
+
+