15-399 Constructive Logic
The current version of course software Tutch is 0.51 beta, October
Documentation for Tutch is available in various formats.
- HTML (suitable for browsing)
- PDF (suitable for viewing and
- PostScript (suitable for printing)
The examples from the documentation are available under
You can copy them with
$ cp -a /afs/andrew/scs/cs/15-399/examples/* .
- (Oct 25) To fulfill the demands of the tutch user community,
the documentation now contains a summary of all constructs
of the tutch language.