From: Christoph Fuerst <ch.fuerst@gmx.at>
Date: Tue, 21 Mar 2017 18:49:11 +0000 (+0100)
Subject: Removed main
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=6cb6a3eedab384d1f1824808df1edfc7e05c93e5;p=cfuerst%2Fformal-numbers.git

Removed main
---

diff --git a/numbertheory.txt b/numbertheory.txt
index db521a3..9cd4d16 100644
--- a/numbertheory.txt
+++ b/numbertheory.txt
@@ -100,29 +100,3 @@ proc xpowern(x:Base,n:Exp): Result
    return res;
 }
 
-proc main(): ()
-{
-   var s:Base = 0;
-   var t:Exp  = 0;
-   
-   while s < N do
-   {
-   	  s=s+1;
-   	  while t<N do
-   	  {
-   	     t = t+1;
-   	     print s,t,xpowern(s,t);
-   	  }
-   }
-   
-}
-
-
-
-
-
-
-
-
-
-