From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- files/practicum/StdT.dcl | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 files/practicum/StdT.dcl (limited to 'files/practicum/StdT.dcl') diff --git a/files/practicum/StdT.dcl b/files/practicum/StdT.dcl deleted file mode 100644 index ca97fdc..0000000 --- a/files/practicum/StdT.dcl +++ /dev/null @@ -1,18 +0,0 @@ -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