fix

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@734 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Dec 12, 2009 · b9ce829 · b9ce829
1 parent 877264e
commit b9ce829
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/topics/exercises/README.txt b/topics/exercises/README.txt
@@ -18,8 +18,7 @@ b2       - parsing B in Haskell
 b3       - folding over expressions for B in Haskell
 nb1	 - abstract syntax for NB in Prolog
 nb2	 - semantics and types for NB in Prolog
-nb3      - parsing NB in Haskell
-nb4      - folding over expressions for NB in Haskell
+nb3      - parsing and folding NB in Haskell
 
 lambda1	 - lambda calculus abstract and concrete syntax in Prolog
 lambda2	 - lambda caclulus with Church numbers

diff --git a/topics/exercises/while8/Test.hs b/topics/exercises/while8/Test.hs
@@ -0,0 +1,8 @@
+module Main where
+
+import Syntax
+import Execution
+
+main =
+	do
+		print $ exec myWhile []