Typprüfung für System Fw mit CASE und PAIR

(system Fw typechecking with case and pair)

A (necessarily incomplete) typechecker in Haskell for the Fw (F omega) type system with some documentation in German.

Far from beeing a stable system, this was coded to fulfill some requirements for a university degree. So be patient.

Markus Bleicher's homepage