Automatic generation of free theorems

The FreeTheorems library is an implementation of the algorithms described by Wadler in his paper "Theorems for free!". The library is used by the shell-based application FTshell and the web-based application FTbase.

All three components are distributed under the BSD3 license and can be downloaded from here:

• source package including FTshell, FTbase and the FreeTheorems library: FT.tar.gz (101KB)
• API documentation of the FreeTheorems library: read online
• description of the foundations and the structure (in German only): .ps.gz (282KB) or .pdf (516KB)

Due to the usage of the Shellac framework, the FTshell application can only be compiled in GHC 6.4.1 or newer. The following command is needed to create the executable:

ghc --make -cpp -fglasgow-exts FTshell.hs -o FTshell

The FTbase application serves as a simple example to show the functionality of the FreeTheorems library. It can be used online.

NEW:There is an updated version here.

The village

This program is a small demonstration showing the ease of writing OpenGL applications in Haskell using HOpenGL. The following picture shows a screenshot of it:

The source code can be downloaded from village.tar.gz (3.6KB) as public domain without any license.

Compiling the code is achieved by the following GHC command:

ghc --make Main.hs -o village

The application should be fairly self-explanatory.

Sascha Böhme, last updated 30.08.2006, sascha.boehme@gmx.de