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.

• task description (in German)
• documentation (in German): pdf html
• sources:
  • CPFwCGI.hs,
  • CPFwDatatypes.hs,
  • ChurchNumerals.hs,
  • Examples.hs,
  • FormatFoPra.hs,
  • HistorySKK.hs,
  • KS.hs,
  • Makefile,
  • MonotonicityWitnesses.hs,
  • ParseCPFw.y,
  • Parser.hs,
  • PrintExplicit.hs,
  • PrintLaTeX.hs,
  • ProcessCPFw.hs,
  • Proof22KIsTypable.hs,
  • ProofIdentityIsIsotone.hs,
  • ProofPairingIsIsotone.hs,
  • ProofProdPresIsotone.hs,
  • ProofProjIsIsotone.hs,
  • ProofSumIsIsotone.hs,
  • ProofSumPresIsotone.hs,
  • SimplePair.hs,
  • Tabular.hs,
  • TypedSK.hs,
  • UrzyChains.hs,
  • WrongForall.hs
  The above files as source tarball .tar.bz2 archive.

Markus Bleicher's homepage