---

Revision 79 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 25 01:55:48 2010 UTC (10 years, 9 months ago) by jhr
File length: 1996 byte(s)
Diff to previous 78 , to selected 47

  Working on typechecker

---

Revision 78 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 22:31:49 2010 UTC (10 years, 9 months ago) by jhr
File length: 3569 byte(s)
Diff to previous 75 , to selected 47

  Rosking on type checker

---

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (10 years, 9 months ago) by jhr
File length: 3282 byte(s)
Diff to previous 68 , to selected 47

  Propoagating changes to meta variables

---

Revision 68 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 18 16:51:30 2010 UTC (10 years, 9 months ago) by jhr
File length: 2947 byte(s)
Diff to previous 65 , to selected 47

  Working on Basis

---

Revision 65 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 13 21:04:35 2010 UTC (10 years, 9 months ago) by jhr
File length: 2756 byte(s)
Diff to previous 63 , to selected 47

  Added TypeVar module

---

Revision 63 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 13 00:29:39 2010 UTC (10 years, 9 months ago) by jhr
File length: 2727 byte(s)
Diff to previous 47

  Working on typechecking for Diderot

---

Revision 47 - (view) (download) (annotate) - [selected]
Added Tue Apr 13 14:57:27 2010 UTC (10 years, 10 months ago) by jhr
File length: 198 byte(s)

  Starting to work on the basis environment