From 12ca29b32b50fd924c5f69a30d204e4332dff4f9 Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 30 Nov 2005 18:42:45 +0000 Subject: Transfer: derive instances, not functions. --- transfer/examples/test.tr | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'transfer/examples/test.tr') diff --git a/transfer/examples/test.tr b/transfer/examples/test.tr index 3eac456f1..8d03f2f66 100644 --- a/transfer/examples/test.tr +++ b/transfer/examples/test.tr @@ -1,3 +1 @@ -import nat - -main = natToInt (intToNat 100) \ No newline at end of file +main = ? \ No newline at end of file -- cgit v1.2.3