Here is some miscellaneous stuff you might find useful.
How to get here, to the Institut für Informatik.
Glasgow Haskell Compiler GHC 7.6.1 binary distribution
for Mac OS X 10.6 (Snow Leopard), 32-bit version.
Compiled from the sources on 2012-11-02.
Glasgow Haskell Compiler GHC 7.4.1 binary distribution
for Mac OS X 10.5 (Leopard), 32-bit version.
Compiled from the sources on 2012-04-22.
The fifTeen Puzzle.
This is a fun JAVA applet implementing the wellknown game.
Convert a Haskell data type declaration into a
Java class hierarchy.
Functional algebraic data types can be simulated using immutable Java
classes. Such data types are neat for representing abstract syntax,
e.g., as in Andrew Appel's,
Modern Compiler Implementation in Java. This little Haskell program
parses a Haskell data declaration and outputs a number of Java class
files which implement this data type.
A short introduction into Emacs.
Addresses of TCS group members (password protected access).
Addresses of TCS group members (local access).