From c4b590d9bf15611ab9672e713788f10b32f08a81 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 11 Oct 2010 13:54:29 +0200 Subject: [PATCH] Add "image2" teachpack for DMdA. This is just our copy of 2htdp/image. --- collects/teachpack/deinprogramm/image2.ss | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 collects/teachpack/deinprogramm/image2.ss diff --git a/collects/teachpack/deinprogramm/image2.ss b/collects/teachpack/deinprogramm/image2.ss new file mode 100644 index 0000000000..4c34a784f4 --- /dev/null +++ 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?))) + +