From 352ac74b0ff4fb616a9f40332b4c60d6c8953564 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 11:25:00 +0000 Subject: examples/test is moved to testsuite --- examples/test/paraphrase/Nat.gf | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 examples/test/paraphrase/Nat.gf (limited to 'examples/test/paraphrase/Nat.gf') diff --git a/examples/test/paraphrase/Nat.gf b/examples/test/paraphrase/Nat.gf deleted file mode 100644 index 7caa0fc93..000000000 --- a/examples/test/paraphrase/Nat.gf +++ /dev/null @@ -1,29 +0,0 @@ -abstract Nat = { - -cat Nat ; - -data - Zero : Nat ; - Succ : Nat -> Nat ; - -fun one : Nat ; -def one = Succ Zero ; - -fun plus : Nat -> Nat -> Nat ; -def plus x Zero = x ; -def plus x (Succ y) = Succ (plus x y) ; - -fun twice : Nat -> Nat ; -def twice x = plus x x ; - -fun times : Nat -> Nat -> Nat ; -def times x Zero = Zero ; -def times x (Succ y) = plus (times x y) x ; - -fun four : Nat ; -def four = twice (twice one) ; - -fun exp : Nat -> Nat ; -def exp Zero = one ; -def exp (Succ x) = twice (exp x) ; -} -- cgit v1.2.3