---

Revision 117 - Directory Listing
Modified Thu Jun 24 14:00:22 2010 UTC (10 years, 8 months ago) by jhr

  Switched kernels to use rational coefficients and added definitions of common
  kernels.

---

Revision 110 - Directory Listing
Modified Wed Jun 23 19:28:48 2010 UTC (10 years, 8 months ago) by jhr
Copied from: trunk/src/IL revision 108

  Moving compiler sources into src/compiler

---

Revision 108 - Directory Listing
Modified Tue Jun 15 17:13:55 2010 UTC (10 years, 8 months ago) by jhr
Original Path: trunk/src/IL

  Adding file

---

Revision 60 - Directory Listing
Modified Tue May 4 15:55:00 2010 UTC (10 years, 9 months ago) by jhr
Original Path: trunk/src/IL

  Some work on typing the basis

---

Revision 12 - Directory Listing
Modified Mon Jan 11 19:28:12 2010 UTC (11 years, 1 month ago) by jhr
Original Path: trunk/src/IL

  comments and minor edits

---

Revision 9 - Directory Listing
Modified Fri Jan 8 22:06:11 2010 UTC (11 years, 1 month ago) by jhr
Original Path: trunk/src/IL

  More work on type system

---

Revision 8 - Directory Listing
Modified Fri Jan 8 21:50:42 2010 UTC (11 years, 1 month ago) by jhr
Original Path: trunk/src/IL

  More work on types; added well-formedness check

---

Revision 7 - Directory Listing
Added Fri Jan 8 20:44:57 2010 UTC (11 years, 1 month ago) by jhr
Original Path: trunk/src/IL

  Starting to work on internal-language representation of types.