A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.
A small programming language provided with an OCaML compiler.