[Haskell-cafe] Haskell.org GSoC

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Thu Feb 19 09:15:21 EST 2009

Am Donnerstag, 19. Februar 2009 14:50 schrieb John A. De Goes:
> Unfortunately the "proofs" in dependently typed languages are
> extremely long and tedious to write. Some kind of compiler proofing
> tool could ease the pain, but I do not think it has low enough
> complexity for a GSoC project.

I was not saying that I want such a thing done as a GSoC project. I just 
wanted to say that if one wants a programming language with an integrated 
proof language, it might be better to put work into Agda or Epigram instead 
of extending Haskell.

Best wishes,

More information about the Haskell-Cafe mailing list