checkpoint

darcs-hash:20060115105930-5007d-6df5f9158f1d2637d73f600779fd7915ef75dbf3.gz

checkpoint

darcs-hash:20060115095016-5007d-ae2b197b6b8e10cd869dc0e6ceb1641b024b95ef.gz

checkpoint

darcs-hash:20060115094559-5007d-9ecc51d4c4b6287cd3361dd2a0aad44dc4011033.gz

checkpoint

darcs-hash:20060115094551-5007d-55e8fca6c35f8f919db92c33c157e19653c3e06f.gz

checkpoint

darcs-hash:20060115093550-5007d-60f36d225a3c831114fc431aaab7f73fb4cbd75c.gz

checkpoint

darcs-hash:20060115092900-5007d-dc3054f2bb2d035ccaa6ad46134d9b7c042e2249.gz

checkpoint

darcs-hash:20060115091530-5007d-035f0ed02d39916e0194ceab570fff29cab28f93.gz

checkpoint

darcs-hash:20060115090333-5007d-2e6faa0cb84536c7afaafd6f37d91f3e29167e00.gz

checkpoint

darcs-hash:20060115090307-5007d-35d435f3b2126e6561192a0b904b66c806db8dbd.gz

checkpoint

darcs-hash:20060115085847-5007d-faf476557005f626ea25e671e9aba1d0fd7c00ec.gz

checkpoint

darcs-hash:20060115085518-5007d-727ac5a95a591c726f90ec19400823c9017ed116.gz

checkpoint

darcs-hash:20060115085309-5007d-fb0f9aafc5700eb46c7defd8e93c4dc228bb63b3.gz

checkpoint

darcs-hash:20060115084100-5007d-bb8e223b60a05a4dc1a66afa515a142e42e4d192.gz

checkpoint

darcs-hash:20060115082137-5007d-50dfcaf611d5d68776360f5a1387f6ee64d5e374.gz

checkpoint

darcs-hash:20060115081734-5007d-e7bd04061d146867bae11768a3bc6d23b8f40830.gz

checkpoint

darcs-hash:20060115081001-5007d-1ef9071d36d02f216091f2340d73129306cbed36.gz

checkpoint

darcs-hash:20060112102458-5007d-57688d3c8cdb8f0a4b303022d832ac4433f7570e.gz

checkpoint

darcs-hash:20060112090507-5007d-205864d6b875b5d13370ff8a287e4e3f9e82e924.gz

checkpoint

darcs-hash:20060112075213-5007d-4fe13521e44ae92485a0982991b2c8cba7118d7d.gz

checkpoint

darcs-hash:20060112073859-5007d-f841bab3579b9265f6bd960aafbd89845c1682a7.gz

checkpoint

darcs-hash:20060112073318-5007d-58bd3c6b586bb83efccf09b6e0d114817c1fe3c0.gz

checkpoint

darcs-hash:20060112072644-5007d-f797bb6aae249f450d10db56b6aa8cf838c85c28.gz

added ToHTML

darcs-hash:20060112072013-5007d-48538a5df896800d0963a6c470a3c0853443e23a.gz

added pretty good pretty-printing

darcs-hash:20060112071847-5007d-fb5bea953ae6d64db23b1e1612efed112fa25100.gz

added back in the singularReductions cache, I wish we didnt need it but we do

darcs-hash:20060112063755-5007d-68fda2bdf3cc12ac63c2a02feb2a49a571dc2024.gz

added another test case

darcs-hash:20060112062827-5007d-fd3a4b553c83a606fc7dda5808a572e930bf4f4d.gz

added fleet.g

darcs-hash:20060112035004-5007d-995e9d9dbee3de0d5a3537a8c4b4be072844bb37.gz

checkpoint harmony

darcs-hash:20060111081205-5007d-b481bd9f6b56924bd3db420d6bc5c6d574aa2bc5.gz

checkpoint harmony

darcs-hash:20060111074802-5007d-8d18df8a7b99acfa3017c1a4d59243b55443100c.gz

checkpoint harmony

darcs-hash:20060111074553-5007d-29d4ba803784845b6ee8969d7c1bbb45d920492e.gz

checkpoint harmony

darcs-hash:20060111074242-5007d-8446781a5fe2ceb65e513e240b621603d229df17.gz

checkpoint harmony

darcs-hash:20060111074026-5007d-67dafca4861663b670f64fbb3be9f79e8557ff34.gz

checkpoint harmony

darcs-hash:20060111073610-5007d-70be984e902dc0fb7c1357d569ff931f5feeb66d.gz

checkpoint harmony

darcs-hash:20060111073106-5007d-8ba844c992ac61df6b273d12e5d8ab190c4dd879.gz

checkpoint harmony

darcs-hash:20060111072256-5007d-b85e9fbb2135c9a52c6739aee74e006bbef7633e.gz

checkpoint harmony

darcs-hash:20060111072152-5007d-287366b8b751a357b3c8a487c14013af2bdb86bc.gz

refactored error reporting

darcs-hash:20060111071626-5007d-755bc87a2f352b64b35103888258aadacca6ae54.gz

checkpoint harmony

darcs-hash:20060111070414-5007d-3bde4a25baf840475e966edc71709023ca32745b.gz

checkpoint harmony

darcs-hash:20060111060854-5007d-1fd3d2cdfba1dc228aea25b2d63b588d67150c21.gz

checkpoint harmony

darcs-hash:20060111060545-5007d-2a76d76509322b8ae5a80f340d1931ba1f382ba5.gz

checkpoint harmony

darcs-hash:20060111055810-5007d-bbea753644725910475b31463bc60d4b7d10db2b.gz

checkpoint harmony

darcs-hash:20060111055646-5007d-43e684dd054f777d270e1de4dd482fd995b1e3ea.gz

cleanup Walk a bit

darcs-hash:20060111055057-5007d-f2f4f156059fafd3e91a346574712f61953630a4.gz

factored exceptions into non-inner classes

darcs-hash:20060111054412-5007d-ad3f30e5c240b198e82c3ae97f167630c981bbc5.gz

checkpoint harmony

darcs-hash:20060111053335-5007d-295b23e9726b5c25815915709f7bae60c027d792.gz

checkpoint harmony

darcs-hash:20060111014610-5007d-ee248eecb15fa5a4f6b65ea93b71b81148752e42.gz

integermappable

darcs-hash:20060108094407-5007d-a309c996154ec8f0447c8395fb4bfec349b33bb3.gz

misc updates

darcs-hash:20060108094309-5007d-06d99764e554c3a3cd6fb1b4b64a8e736c80c132.gz

got rid of Body.creator

darcs-hash:20060108094010-5007d-732ae891c2be5b21b26a6f741021c2dfb7b2c96d.gz

added more

darcs-hash:20060108093900-5007d-e9f9e1fc3ca983fb1390b2ce2a86853ba00d28bf.gz

added some files

darcs-hash:20060108093742-5007d-0cfa629c91309e0673571c055b0ef877f1f428d9.gz

intermediate checkpoint

darcs-hash:20060108055126-5007d-8d96906cc6e2efc0578d5ed26062dee848b63102.gz

intermediate checkpoint

darcs-hash:20060108035043-5007d-c8ccd495e43468587e836f51d74992f86834aa10.gz

intermediate checkpoint

darcs-hash:20060108011433-5007d-134a60b378e5912dd938349f73c4e6ec1a613a4d.gz

intermediate checkpoint

darcs-hash:20060108010841-5007d-4d70a6432b2c42b6ff0e7d3e0022fb0c99cdde9f.gz

yay, new boolean resolution approach works

darcs-hash:20060108010636-5007d-e8e1c2d0456e2c4e5f9bc2f30adbb54bebd260fe.gz

added decent error reporting

darcs-hash:20060107094233-5007d-1b1b3e16497e5ff150384e14df7a7729b369196a.gz

got new tib tokenizer going

darcs-hash:20060106083219-5007d-c4ad8cc9e003df55e8db41c0870347f428856992.gz

added code to check for created-by-empty-reduction

darcs-hash:20060106052306-5007d-023ea006cf8a3cd5c1b3ad6f7d1b58761d4fbf35.gz

checkpoint

darcs-hash:20060105091456-5007d-1e4143c8a7344945f087a8b447831b5d2045b055.gz

checkpoint

darcs-hash:20060105090906-5007d-27273659343545a069fc945bb543ac74dab4b04b.gz

checkpoint

darcs-hash:20060105090818-5007d-d52278c53bd831a79f7e1c4b4b0512e251b45ef5.gz

checkpoint

darcs-hash:20060105090813-5007d-2c87bd783e5d26b31a44173e8ca26244fc3043af.gz

checkpoint

darcs-hash:20060105090658-5007d-6a001bafb621cdbe931b03e5256d7a7d813452fb.gz

checkpoint

darcs-hash:20060105090118-5007d-d6be2943f8cb29370e8f13c5114338a874434b58.gz

it all works

darcs-hash:20060105073930-5007d-0aa9bef7e97fbe87265879b06083b3ebca3522de.gz

checkpoint

darcs-hash:20060105031107-5007d-80cd89764edfaf646a766acadd908fc30645b556.gz

checkpoint

darcs-hash:20060105030857-5007d-b000eca02d0f105f242d51a87014da0dd452ee4f.gz

checkpoint

darcs-hash:20060105030320-5007d-85d5bb67a3ad0b54344b05feb6f3e922afd2444b.gz

checkpoint

darcs-hash:20060104122002-5007d-e3168202afb862d070042071ceb1950df4d4549c.gz

checkpoint

darcs-hash:20060104111430-5007d-5163a1269d96f1d41ba37e7e6dafe29c33ebe5f6.gz

checkpoint

darcs-hash:20060104110725-5007d-a58d79cde4a929398b8007ebb7f78c81952933ed.gz

checkpoint

darcs-hash:20060104110706-5007d-717b083eff757438e1f41a3dc103655e0bd7b7b3.gz

checkpoint

darcs-hash:20060104110127-5007d-8d5311fa94d603d02ec275421c7d8dddfcca9bdd.gz

checkpoint

darcs-hash:20060104110013-5007d-a14d2a070de50628ba2b3ab972497086462de328.gz

checkpoint

darcs-hash:20060104105317-5007d-bed73d0e9cb6781fca85c4837237d63133667a5a.gz

checkpoint

darcs-hash:20060104104914-5007d-913ac463629afb684e9ce5b99e7681453c298558.gz

checkpoint

darcs-hash:20060104104724-5007d-c98ffc2ae2c190a82c47d6e03295e7fb1dff0dd8.gz

checkpoint

darcs-hash:20060104104305-5007d-2f24ee591a0d28868417efe5c59d34097361d49d.gz

checkpoint

darcs-hash:20060104104131-5007d-62431bf08cdcc2722bc1b35a6ba974679fe23dce.gz

checkpoint

darcs-hash:20060104103003-5007d-3ea9c768cc6b7e699e9f6442b10471a534fccefd.gz

checkpoint

darcs-hash:20060104102904-5007d-cb491981c635fe69b6fa33a894a87a5f3c9d8493.gz

checkpoint

darcs-hash:20060104102754-5007d-91bd279f856436090e878c0170612db19b95bd7a.gz

checkpoint

darcs-hash:20060104100918-5007d-6aff793c8d97ec1f782bba513f3e3778aca72bb0.gz

checkpoint

darcs-hash:20060104100622-5007d-3d2f309f5b19c93a8736b0a1e2dc606b00bd4522.gz

checkpoint

darcs-hash:20060104094209-5007d-4753c4a3f52bb2f70d1be0778f8cd7252404fcd1.gz

checkpoint

darcs-hash:20060104093644-5007d-7222a88b6eeb5c4c298d2f1519d5c6f1fa1bf71b.gz

checkpoint

darcs-hash:20060104092320-5007d-2e8781b9f79466022e7637a99ffa9e3c60574615.gz

checkpoint

darcs-hash:20060104091904-5007d-e59f6d5cdcc32808044286d3c5676974950e1041.gz

checkpoint

darcs-hash:20060104091111-5007d-ccae0cc34703ba44d9c8f51dbd2e13ac99b7b715.gz

checkpoint

darcs-hash:20060104090906-5007d-d924077703d913bff66e251aed155154d141a682.gz

checkpoint

darcs-hash:20060104090807-5007d-87304a4b9d4ef193924a1c8c7c59f1c3fca9affe.gz

checkpoint

darcs-hash:20060104084921-5007d-efe171e31561d14c8c2458e3973294ec21cdc443.gz

checkpoint

darcs-hash:20060104084308-5007d-7daa9e77c69ab2e108d4eefef031380cbf48ddb9.gz

checkpoint

darcs-hash:20060104071705-5007d-ec8270ebcc902b2364afb0ef91ebb8bf71ff6253.gz

added PrintableTree

darcs-hash:20060103071619-5007d-73f7b47b9c39d7629be429982e788aa481ad6f45.gz

Table extends Cache

darcs-hash:20060103032456-5007d-f1d2239d7a06708226c60d4faab819fd4cb3022d.gz

refactored Parser.Table.start0 stuff

darcs-hash:20060102074135-5007d-6500b0a94530c7125d26866c4f5d9c9d381f63b8.gz

eliminated Parser.Table.Top

darcs-hash:20060102073107-5007d-a0da7be4ee14c8ee6d0001e86ffe709a4d07f772.gz

eliminate Walk.Last

darcs-hash:20060102071718-5007d-1670b3ea1082a4d53557c2e29ff152f23f7a596f.gz