---

Revision 83 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:50:44 2010 UTC (12 years, 1 month ago) by jhr
File length: 11313 byte(s)
Diff to previous 82

  More work on the typechecker

---

Revision 82 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:20:49 2010 UTC (12 years, 1 month ago) by jhr
File length: 10444 byte(s)
Diff to previous 81

  Working on typechecker

---

Revision 81 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 17:28:54 2010 UTC (12 years, 1 month ago) by jhr
File length: 8962 byte(s)
Diff to previous 80

  Working on typechecker

---

Revision 80 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 25 03:05:33 2010 UTC (12 years, 1 month ago) by jhr
File length: 6051 byte(s)
Diff to previous 75

  Working on typechecker

---

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (12 years, 1 month ago) by jhr
File length: 6011 byte(s)
Diff to previous 72

  Propoagating changes to meta variables

---

Revision 72 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:48:47 2010 UTC (12 years, 1 month ago) by jhr
File length: 6010 byte(s)
Diff to previous 71

  Working on typechecker

---

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:16:04 2010 UTC (12 years, 1 month ago) by jhr
File length: 4003 byte(s)
Diff to previous 70

  Working on typechecker

---

Revision 70 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 14:23:32 2010 UTC (12 years, 1 month ago) by jhr
File length: 3123 byte(s)
Diff to previous 69

  Working on typechecker

---

Revision 69 - (view) (download) (annotate) - [select for diffs]
Added Tue May 18 21:23:53 2010 UTC (12 years, 1 month ago) by jhr
File length: 709 byte(s)

  Starting to write a typechecker