]> ruin.nu Git - proglang.git/commit
typing rules in documentation
authorFredrik Möllerstrand <mollerst@itstud.chalmers.se>
Tue, 28 Feb 2006 21:01:44 +0000 (21:01 +0000)
committerFredrik Möllerstrand <mollerst@itstud.chalmers.se>
Tue, 28 Feb 2006 21:01:44 +0000 (21:01 +0000)
commitef4659dbfa5051372cf067f8c0ed2bbe77146650
treee8a7a4ccee75c66c740b96afdd65beccd4ae238c
parent80dc2356f0ac48fc4e026e549f85ad1a1d01834b
typing rules in documentation
Typecheck.hs
documentation
syntax.cf