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?))) + +