From e89ef72aac916bc66f08be5563d334123cc1d4c5 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 9 Feb 2015 20:22:32 +0100 Subject: week 2 camil --- week2/camil/StdT.dcl | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 week2/camil/StdT.dcl (limited to 'week2/camil/StdT.dcl') diff --git a/week2/camil/StdT.dcl b/week2/camil/StdT.dcl new file mode 100644 index 0000000..ca97fdc --- /dev/null +++ b/week2/camil/StdT.dcl @@ -0,0 +1,18 @@ +definition module StdT + +import StdOverloaded + +:: T + +instance == T +instance < T + +instance zero T +instance + T +instance - T + +instance toInt T +instance fromInt T + +instance toString T +instance fromString T -- cgit v1.2.3