[Haskell-cafe] Haskell.org GSoC
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.
More information about the Haskell-Cafe