2013 Inf1–FP Programming Competition Entries

If you wish to run the examples, you will sometimes need to compile the code. To do this, you should compile the file containing a definition for main using the ghc --make FILE command.

This year's competition is sponsored by Galois:

"Galois researches, designs and develops high assurance technologies for security-critical systems, networks and applications. Armed with an engineering staff that includes many of the top language and semantics researchers in the world, we use cutting-edge mathematically-based programming techniques to address our clients' toughest information sharing challenges."

Galois writes almost all of its code in Haskell, and provides much support for the Haskell community. For more information, see Functional Programming in the Real World.

Harry Garrood Down the rabbit hole 1st Place	Euan Hunter The code of life 1st Place
Thomas Kerber 3D L-Systems 2nd Place	Simon Rovder Collapsing star polygons 2nd Place
Calum MacLeod Fractal and golden Spiral L-Systems 3rd Place	Paul Sinclair L-Systems with variable angles 3rd Place