[new examples and cabal file generated by leksah
martin.hofmann@uni-bamberg.de**20090611033934] hunk ./expl/Examples.hs 175
+eveN, odD :: Peano -> Bool
+odD Z                     = False
+odD (S Z)                 = True
+odD (S (S Z))             = False
+odD (S (S (S Z)))         = True
+odD (S (S (S (S Z))))     = False
+odD (S (S (S (S (S Z))))) = True
+
+eveN Z                     = True
+eveN (S Z)                 = False
+eveN (S (S Z))             = True
+eveN (S (S (S Z)))         = False
+eveN (S (S (S (S Z))))     = True
+eveN (S (S (S (S (S Z))))) = False
+
hunk ./igor2.cabal 1
-Name:                     igor2
-Version:                  0.5.8.5
-Description:              Igor2 is an inductive programming system which generalises programs from I/O examples
-License:                  BSD3
-License-File:             LICENSE
-
-Author:                   Martin Hofmann
-Maintainer:               martin.hofmann@uni-bamberg.de
-Copyright:                (c) 2009 by Martin Hofmann
-Stability:                Experimental
-Category:                 Inductive Programming
-Build-Type:               Simple
-Cabal-version:            >= 1.2
-Tested-with:              GHC==6.10.1
-Data-Files:               README, expl/batch.txt, expl/Examples.hs
-
-Executable igor2
-       Main-is:           Main.hs  
-       Hs-source-dirs:    src
-       ghc-options:       -O4
-       
-       Build-Depends:     ghc>=6.10, 
-                          haskell98,
-                          syb,
-                          base>=4.0,  
-                          unix>=2.3, 
-                          array,  
-                          pretty,
-                          editline, 
-                          containers>=0.2, 
-                          filepath, 
-                          ghc-paths,
-                          old-locale>=1.0, 
-                          old-time>=1.0,
-                          random>=1.0, 
-                          directory>=1.0,   
-                          MonadCatchIO-mtl,
-                          utf8-string>=0.3, 
-                          mtl>=1.0, 
-                          cpphs>=1.3,                           
-                          haskell-src>=1.0, 
-                          haskell-src-exts>=0.4,                          
-                          hint>=0.3, 
-                          bytestring>=0.9, 
-                          packedstring, 
-                          template-haskell,
-                          process, 
-                          hpc, 
-                          parsec>=2.1, 
-                          time>=1.1, 
-                          ansi-terminal>=0.5.0, 
-                          ansi-wl-pprint>=0.5, 
-                          bimap>=0.2, 
-                          fgl>=5.4
-
+name: igor2
+version: 0.5.8.5
+cabal-version: >=1.2
+build-type: Simple
+license: BSD3
+license-file: LICENSE
+copyright: (c) 2009 by Martin Hofmann
+maintainer: martin.hofmann@uni-bamberg.de
+build-depends: MonadCatchIO-mtl -any, ansi-terminal >=0.5.0,
+               ansi-wl-pprint >=0.5, array -any, base >=4.0, bimap >=0.2,
+               bytestring >=0.9, containers >=0.2, cpphs >=1.3, directory >=1.0,
+               editline -any, fgl >=5.4, filepath -any, ghc >=6.10,
+               ghc-paths -any, haskell-src >=1.0, haskell-src-exts >=0.4,
+               haskell98 -any, hint >=0.3, hpc -any, mtl >=1.0, old-locale >=1.0,
+               old-time >=1.0, packedstring -any, parsec >=2.1, pretty -any,
+               process -any, random >=1.0, syb -any, template-haskell -any,
+               time >=1.1, unix >=2.3, utf8-string >=0.3
+stability: Experimental
+homepage: http://www.cogsys.wiai.uni-bamberg.de/effalip/download.html
+package-url:
+bug-reports:
+synopsis:
+description: Igor2 is an inductive programming system which generalises programs from I/O examples
+category: Inductive Programming
+author: Martin Hofmann
+tested-with: GHC ==6.10.1
+data-files: README expl/Examples.hs expl/batch.txt
+data-dir: ""
+extra-source-files:
+extra-tmp-files:
+ 
+executable: igor2
+main-is: Main.hs
+buildable: True
+build-tools:
+cpp-options:
+cc-options:
+ld-options:
+pkgconfig-depends:
+frameworks:
+c-sources:
+extensions:
+extra-libraries:
+extra-lib-dirs:
+includes:
+install-includes:
+include-dirs:
+hs-source-dirs: src
+other-modules:
+ghc-prof-options:
+ghc-shared-options:
+ghc-options: -O4
+hugs-options:
+nhc98-options:
+jhc-options: