---

Revision 60 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 4 15:55:00 2010 UTC (10 years, 10 months ago) by jhr
File length: 4486 byte(s)
Diff to previous 12

  Some work on typing the basis

---

Revision 12 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 11 19:28:12 2010 UTC (11 years, 1 month ago) by jhr
File length: 4398 byte(s)
Diff to previous 9

  comments and minor edits

---

Revision 9 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 8 22:06:11 2010 UTC (11 years, 1 month ago) by jhr
File length: 4276 byte(s)
Diff to previous 8

  More work on type system

---

Revision 8 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 8 21:50:42 2010 UTC (11 years, 1 month ago) by jhr
File length: 3112 byte(s)
Diff to previous 7

  More work on types; added well-formedness check

---

Revision 7 - (view) (download) (annotate) - [select for diffs]
Added Fri Jan 8 20:44:57 2010 UTC (11 years, 1 month ago) by jhr
File length: 1651 byte(s)

  Starting to work on internal-language representation of types.