Starting with inventory:
0000001854-191685cecab404216d87c901bc193020560f6349af5b663261cbce0188b33501
[TAG napecpha
John Meacham <john@repetae.net>**20060212071646] 
hash: 0000001164-407a47dc38546c0ed6f5b1f49e14b3f961cd4d618e523baff0f9daf94977c1f9
[add array monad to library
John Meacham <john@repetae.net>**20060212072012] 
hash: 0000001136-a636652795f91ef1aaeb154c1b8b6f84807acca017b4da873f2971cb8069cb15
[add more rules
John Meacham <john@repetae.net>**20060212080352] 
hash: 0000001917-5d09440071337a5c6679735ef7acf3bc1434e0c3b4217b56d217e2e1f7518258
[embed some useful info in the generated executable
John Meacham <john@repetae.net>**20060212083239] 
hash: 0000001158-b99f093d39e31bb505efb9d2feab4d579e36ea1ab7f86cee2483276fd4215fa2
[more work on new typechecker
John Meacham <john@repetae.net>**20060212114652] 
hash: 0000010112-43d6845329611be242b9e2d49c161da7d4a42537b2225bb9c81098b55c503ba5
[make type checker generalize terms properly
John Meacham <john@repetae.net>**20060212140343] 
hash: 0000004655-e8f305217579ba98518e008e859fc28c97447248fe679ab57154a3627f5dece3
[don't print so much debugging info when boxy type infering, make E.FromHs handle a few new cases
John Meacham <john@repetae.net>**20060212152431] 
hash: 0000003975-e8b0e2b4fcf52c6586ec612e09d83cd60bb283e73108c85b7cb6270353f34d7d
