pristine:84080ef7f58252724a0941c6c15732da507fdd26138b97b27aaed8b3c3ae311f Starting with inventory: 0000001151-868114a284f48bea02d712eaa24e90ffbd84363ceea28801d49c05b306755930 [TAG comp3610.2009.l3 Ben.Lippmeier@anu.edu.au**20090714123214 Ignore-this: 360b040cd4d44ba3d85b5eb7c00818a0 ] hash: 0000000775-d7eaa34313de72e951d2d5928f7403cc2b794c542a39de3310f5857db39f384f [Fix variable capture problem Ben.Lippmeier@anu.edu.au**20090716103350 Ignore-this: 78c8fcdfb2bc0b6750baab5e63c69d54 ] hash: 0000002804-dfc15026b9e4f4186d5eee69281c3d27093b831d291174e887711a307d4c8133 [Fix makefile clean Ben.Lippmeier@anu.edu.au**20090716103615 Ignore-this: 5d9c1b5d378f65c51c7847f290ad9d1a ] hash: 0000000302-5a5569abd6a5150d92ad27216da278b2fbab0ad915ddcee16d71feecf8a532e8 [Fix problem with variable capture (this time for sure) Ben.Lippmeier@anu.edu.au**20090716104604 Ignore-this: dea5bc96ce8176e31cb6e99333f5630d ] hash: 0000000308-a0b5f934e87cb4ba237e0bb84d265bd9532696d17f04537d71b183f6b419acd3 [Redo single stepping Ben.Lippmeier@anu.edu.au**20090717091921 Ignore-this: 826ba4bd85880a3ebdbde56741288189 ] hash: 0000008167-369b0bc0888fc70dc88763ad30b973923eb1266f89d41a740bfd7f9e8b236d8f [Add CBV HAO Ben.Lippmeier@anu.edu.au**20090721111844 Ignore-this: c184aeef11bb1b4aeedd0912905eb770 ] hash: 0000003453-0a33230ba42d1bcd0b040cda8094a405c1cfabaae71aa78172019794f956c849 [Cleanups Ben.Lippmeier@anu.edu.au**20110405085103 Ignore-this: e8f038745531c9e61f4b5a92d853acc8 ] hash: 0000001676-1c31137c038abc4f4f0c2c76eec28b28828576bbde3301cc79798ab2d80b32ba [Stop if we reach a plain macro Ben Lippmeier **20110405091147 Ignore-this: aa1323020f80ebd3d69d927341f8cb8f ] hash: 0000000320-ea0cad9e2075f4716243a59df17e7554a7c0cb5021791205a02336c7217e12ec [Test wibble Ben Lippmeier **20110405091740 Ignore-this: 821f27a93056cb0557267cd34004b77e ] hash: 0000000136-c6ec8e40e0164578ee9169994082f62b361d89fea7b30fd92d407b27b00afd17 [Move STLC modules to Language/Simple Ben Lippmeier **20110405093648 Ignore-this: 1c99c8ef2e0e76a38260debb167ea82f ] hash: 0000002289-0edaf9363ec2b31f791b7ac82c9640ee91ab722dd99719204b360812c1e18d37 [Abstract over the type of language expressions Ben Lippmeier **20110405114903 Ignore-this: e021a1ce568be29777cb760d51c3fa4a ] hash: 0000006989-efce8b7734fbc75a6abcdf03775d01e47d797a6d16d62e2957e3adccdeda71d9 [Fold QuickCheck generator for exps into Exp.hs Ben Lippmeier **20110405115239 Ignore-this: 44d8ee07a612e81d6fb7063155fffb58 ] hash: 0000002336-a11ea34f20a8c678101284067c97b596ab56d7480c8a520e1efb2a1595f5462e [Comments and cleanup Ben Lippmeier **20110405115927 Ignore-this: b59bdad0d5be7f3de59e34f9cb9313 ] hash: 0000002346-bb2061f75ddde799f1e5b50b625a6af4b1be8c7ec0779331c78ca05d820b73b5 [Rename Simple to LambdaNamed, it's untyped Ben Lippmeier **20110407102602 Ignore-this: daf7b389b6dcabefed4f367ca19769c7 ] hash: 0000031126-d677daab2a988115218fcc2e910c0f945850da7d3d45b99525edf84fed237346 [Start on LambdaDebruin language Ben Lippmeier **20110407110827 Ignore-this: ebbb3bf998baa381e755ac44f6475c5c ] hash: 0000004142-ae9da85dd6e2e22a0771627866514c71d3290cd688f6db11427197ca619d778e [Add scanner and parser for deBruijn Ben Lippmeier **20110407120639 Ignore-this: b98e297b1ca099eca0cf88bd719ab125 ] hash: 0000005909-2556ce3d62df91be63c15bd71f748cf98af72c3e8b4b4bdd7c97cc43240cd4fa [Better distribution of exp sizes for quickcheck generators Ben Lippmeier **20110407122758 Ignore-this: f2afd379c0eff2b426a409efd4dbd6a7 ] hash: 0000001169-f1e92c0190e3efaef72ad2546429f879016ccde065ef4342047c3c594ef19e63 [Add reduction for lambda debruijn Ben Lippmeier **20110408121818 Ignore-this: fda6e79c8b17e4875f0315ae793a3aec ] hash: 0000009971-4cda7d8d22872b244f4a0df26b82a87bf9f0f2efe72204d04b0c2b9c724dce9e [Fix single step mode for lambda named Ben Lippmeier **20110408122701 Ignore-this: ceb2fef1f34a0ec60932a7c08fc4ddb8 ] hash: 0000001171-dc514104f421a6834412e3e3b78ba9f374c953caf11272d3e884c37d0547d368 [Fix substitution for debruijn, and add the rest of the prelude Ben Lippmeier **20110408135409 Ignore-this: 4c9fba6b56a639fb853664ebea88b53c ] hash: 0000004157-4f8ff680c303d479d314d3772d0fade858f2f5f7eab95025e5f53a5795a28005 [Start on PolyDebruijn reducer Ben Lippmeier **20110424143655 Ignore-this: 9c2d25b33fdf4a2a73d599f04f96991f ] hash: 0000004603-23c2cf98267da676a6d37db053fd4fb8d4fa11620030fb8482a1fb6050d0192f [Replace missing LambdaDebruijn file Ben Lippmeier **20130527005037 Ignore-this: 2aa414503a2b96d514307b02a9871143 ] hash: 0000001679-604eae276fe5f34bfe45418805244da0ddc9431ac2b0250ff5c0b376ef38517d