Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Revision 64
ViewVC logotype

Revision 64


Jump to revision: Previous Next
Author: jhr
Date: Thu May 13 17:32:28 2010 UTC (8 years, 11 months ago)
Log Message:
  Starting to write up some notes on the typechecking problem for Diderot.

Changed paths:

Path Details
Directorytrunk/doc/typing/ added
Directorytrunk/doc/typing/defs.tex added
Directorytrunk/doc/typing/typing.tex added

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0