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.
![]()
Steiner chains and Soddy's Hexlet
1st Place
|
||
![]()
Ray traced Cornell Box.
2nd Place
|
![]()
Animated 3D fractal cube pyramid
2nd Place
|
![]()
Ray traced Mandelbox fractal
2nd Place
|
![]()
Buddahbrot fractals
3rd Place
|
![]()
Julia set fractals
3rd Place
|
|
![]()
Mandelbulb fractal
Runner-up
|
![]()
L-systems
Runner-up
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |