• ./LICENSE -- the license files ./README -- this readme file ./igor2.cabal -- Cabal package description ./Setup.hs -- Cabal package installation ./expl/batch.txt -- a batch file example ./expl/Examples.hs -- some example specifications ./src/* -- the source files (see APPENDIX for a complete list) I. Introduction --------------------------- Igor2 is an inductive programming system, which generalises over given I/O examples of some target functions and constructs a solution which is complete and correct w.r.t the given examples. Given the type and some equations of e.g. the function 'last' as Haskell code