266a015ff090cea119e4356eae0cba32be6b02d1 olpc olpc@xo-0D-69-C1.localdomain http://github.com/namin/spots/commit/fb5d7f36a7a5a302e3f2dd3086faeffa1763716f fb5d7f36a7a5a302e3f2dd3086faeffa1763716f

2009-03-18T16:31:04-07:00

typo fix 053d01820de7456e771a65062d11992ac007412e olpc olpc@xo-0D-69-C1.localdomain 112f452550f297fe517161802bf3ee5f501b784c Nada Amin nadaa@nadaa-macbookpro.local http://github.com/namin/spots/commit/266a015ff090cea119e4356eae0cba32be6b02d1 266a015ff090cea119e4356eae0cba32be6b02d1

2009-03-10T15:20:17-07:00

added description of lunar lockout c084d799dfdc95fb33c3c2f774c723cf24174182 Nada Amin nadaa@nadaa-macbookpro.local 2e88f1f9844b6990622fbf8d6fc9be245e85d70f Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/112f452550f297fe517161802bf3ee5f501b784c 112f452550f297fe517161802bf3ee5f501b784c

2009-01-14T09:30:26-08:00

removed solution per prof request cd0114376a57fd2927beedb9dfc001985395f001 Nada Amin namin@alum.mit.edu cfb466a6b979769225f1da7101262043a369c62f Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/2e88f1f9844b6990622fbf8d6fc9be245e85d70f 2e88f1f9844b6990622fbf8d6fc9be245e85d70f

2009-01-05T16:54:35-08:00

not.pcf 4d7beacb9a452967a0feead095ee0627ddece074 Nada Amin namin@alum.mit.edu 095adb1325e9f8e732ee9a1c16c881545112a98f Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/cfb466a6b979769225f1da7101262043a369c62f cfb466a6b979769225f1da7101262043a369c62f

2009-01-05T13:03:34-08:00

formatted Philip Wadler's email coining the expression problem 764b2f33247ad6c064fa6cfc9360bd8db946c0b5 Nada Amin namin@alum.mit.edu ec6425e0941a5eb4bef99c1114e5fd4b85457e35 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/095adb1325e9f8e732ee9a1c16c881545112a98f 095adb1325e9f8e732ee9a1c16c881545112a98f

2009-01-04T21:49:20-08:00

updated blurb 82733432fcb6bb20b824962b73962cceb9c1236a Nada Amin namin@alum.mit.edu f664cfb9b162c949f12eba2dc31014de6d862913 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/ec6425e0941a5eb4bef99c1114e5fd4b85457e35 ec6425e0941a5eb4bef99c1114e5fd4b85457e35

2009-01-04T21:48:23-08:00

updated blurb 16b6e5cc6058b4555252873cfb721ec4aec2d8a9 Nada Amin namin@alum.mit.edu bb62a7c3ad567d9a41e718194c1171bda4e60502 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/f664cfb9b162c949f12eba2dc31014de6d862913 f664cfb9b162c949f12eba2dc31014de6d862913

2009-01-04T20:42:32-08:00

title b510fd1026728c3b5cc74f8ab878ee9d2707445f Nada Amin namin@alum.mit.edu d54e7d55708a4aeb79a42d773bd3897a947ef11b Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/bb62a7c3ad567d9a41e718194c1171bda4e60502 bb62a7c3ad567d9a41e718194c1171bda4e60502

2009-01-04T20:24:29-08:00

I intend to experiment with JMatch. 9b6ff105e9ed8a375e713e33d99be57a4d1dba28 Nada Amin namin@alum.mit.edu d14cba6acbed36086d7601ee0dd6412a7b1a2492 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/d54e7d55708a4aeb79a42d773bd3897a947ef11b d54e7d55708a4aeb79a42d773bd3897a947ef11b

2009-01-04T16:39:45-08:00

tabs -> space 439866462542f6b890677fad4fc49d69adf088e2 Nada Amin namin@alum.mit.edu 83de7ff7ca1f433db533cf3aafcc347d16a30f99 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/d14cba6acbed36086d7601ee0dd6412a7b1a2492 d14cba6acbed36086d7601ee0dd6412a7b1a2492

2009-01-04T16:37:36-08:00

typing rules as comments 132e0b2585aa1f2c5811bb685b86e920fc7a2ea4 Nada Amin namin@alum.mit.edu 37b6027491ea631c21c142d976f4893d7c082733 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/83de7ff7ca1f433db533cf3aafcc347d16a30f99 83de7ff7ca1f433db533cf3aafcc347d16a30f99

2009-01-04T16:16:40-08:00

regression tests b868b60473411e090d848b08ab31de935c4d5ace Nada Amin namin@alum.mit.edu d85b37400e13ac1ea76bce59ae76768a5228d899 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/37b6027491ea631c21c142d976f4893d7c082733 37b6027491ea631c21c142d976f4893d7c082733

2009-01-04T16:01:35-08:00

concistency in order of substitions in composition be374e9c1fcd2e21fc91027bd2db4af5323c3287 Nada Amin namin@alum.mit.edu 8c45111b8a2c5f4c91ea9650db4c0db9a0b3aeb0 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/d85b37400e13ac1ea76bce59ae76768a5228d899 d85b37400e13ac1ea76bce59ae76768a5228d899

2009-01-04T12:44:10-08:00

remove substitution rendered unnecessary by substitution in environment 60f879b93ef8b6c17df0996d5d2ea43864429968 Nada Amin namin@alum.mit.edu 4abcaed05ef0efd0c3d5de9d6f1f5a04cb6ce625 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/8c45111b8a2c5f4c91ea9650db4c0db9a0b3aeb0 8c45111b8a2c5f4c91ea9650db4c0db9a0b3aeb0

2009-01-04T12:39:46-08:00

style 3de607bba170169e13eedaee1b649438cbbde204 Nada Amin namin@alum.mit.edu 02cd4176f0f4177f14ee8fa34acd2fde0c52c518 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/4abcaed05ef0efd0c3d5de9d6f1f5a04cb6ce625 4abcaed05ef0efd0c3d5de9d6f1f5a04cb6ce625

2009-01-04T12:39:29-08:00

substitue in environment so that application parts are evaluated in sequence instead of in //; now, no need to double-check inferred type of functional argument 498e49f5c7e1a83bbd56624f0908d58736490149 Nada Amin namin@alum.mit.edu f92b46d266f686ac82991523c8930bab507d1f1f Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/02cd4176f0f4177f14ee8fa34acd2fde0c52c518 02cd4176f0f4177f14ee8fa34acd2fde0c52c518

2009-01-04T12:05:43-08:00

style 176efa2ecf10eb1b9e699f847e5b10fe04a94954 Nada Amin namin@alum.mit.edu fdee36df6619acf55028e7977f78ea1c7ccdabf7 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/f92b46d266f686ac82991523c8930bab507d1f1f f92b46d266f686ac82991523c8930bab507d1f1f

2009-01-04T12:04:25-08:00

style 77a5bd742a55fc8da362ab896154f0a3ccfce782 Nada Amin namin@alum.mit.edu 9a14b8fae7467b5e119a06d8b13f3db44a509b02 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/fdee36df6619acf55028e7977f78ea1c7ccdabf7 fdee36df6619acf55028e7977f78ea1c7ccdabf7

2009-01-04T12:01:19-08:00

infer types in canonical form 21b9cc6be67043b8d83caa767e51eb4d7a3bbae7 Nada Amin namin@alum.mit.edu f75b62588520b9d92e7d827881067e6dad860b0d Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/9a14b8fae7467b5e119a06d8b13f3db44a509b02 9a14b8fae7467b5e119a06d8b13f3db44a509b02

2009-01-04T10:45:45-08:00

fix for subtle bug related to // conflicting type inferences 66fe22b0bed3c1e8daacdfc3c8037731ea83729d Nada Amin namin@alum.mit.edu 8b79209ac4b4d416e0244f60ba33e4a29e6f2d60 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/f75b62588520b9d92e7d827881067e6dad860b0d f75b62588520b9d92e7d827881067e6dad860b0d

2009-01-04T09:51:17-08:00

completed hw 6 3b7ffcca5c124f8d13fcb4f074761f72e28fb29f Nada Amin namin@alum.mit.edu 7ca4777f9e73357a75e8b47651391256745d79e3 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/8b79209ac4b4d416e0244f60ba33e4a29e6f2d60 8b79209ac4b4d416e0244f60ba33e4a29e6f2d60

2009-01-04T08:15:35-08:00

tabs -> spaces 246138039b94be6a7ddfedf7828f2720b5fb1e26 Nada Amin namin@alum.mit.edu 05b1b7a960295abaa5c6a5c9ddc06fe7a3d19812 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/7ca4777f9e73357a75e8b47651391256745d79e3 7ca4777f9e73357a75e8b47651391256745d79e3

2009-01-04T07:49:37-08:00

tabs -> spaces dd0bc36c68bc2ef9214073a1c77ddb1307124215 Nada Amin namin@alum.mit.edu 7440cdaaa7b63d782afec8d733a9294dcf7cbda4 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/05b1b7a960295abaa5c6a5c9ddc06fe7a3d19812 05b1b7a960295abaa5c6a5c9ddc06fe7a3d19812

2009-01-04T07:46:15-08:00

completed hw 5 8a79f405a035be4b323352001920cf285c98dd23 Nada Amin namin@alum.mit.edu 75debd83d5fafe72291f747c6521e65b9e96df96 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/7440cdaaa7b63d782afec8d733a9294dcf7cbda4 7440cdaaa7b63d782afec8d733a9294dcf7cbda4

2009-01-04T07:44:55-08:00

refactoring 4a062f730f42d389e69168ef0831324ddedaad52 Nada Amin namin@alum.mit.edu f355041d2303c487552f6021aebe7c25526a63fc Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/75debd83d5fafe72291f747c6521e65b9e96df96 75debd83d5fafe72291f747c6521e65b9e96df96

2009-01-04T07:42:24-08:00

hw 5 d 2a0f722665bb3432331ccace9129d40cf5a02c3f Nada Amin namin@alum.mit.edu bdaca15bd33a861e42b09c09ba153248e7ad18eb Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/f355041d2303c487552f6021aebe7c25526a63fc f355041d2303c487552f6021aebe7c25526a63fc

2009-01-04T07:37:17-08:00

hw 5 c 71caa511e8fb0f5f95a7eac44d0abf42be6a01dc Nada Amin namin@alum.mit.edu d28f65c84da6764febda2e3e88caaa942ab00e60 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/bdaca15bd33a861e42b09c09ba153248e7ad18eb bdaca15bd33a861e42b09c09ba153248e7ad18eb

2009-01-04T07:16:51-08:00

hw 5 b d9817caa63d0b71abb93806a5af82869d5be5137 Nada Amin namin@alum.mit.edu c4d4d4358c2828ad6c28b174cb177ed5a3b44c60 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/d28f65c84da6764febda2e3e88caaa942ab00e60 d28f65c84da6764febda2e3e88caaa942ab00e60

2009-01-04T06:42:52-08:00

hw 5 a 4475af34a051f61c3e538aa3465f209e8a59947e Nada Amin namin@alum.mit.edu 83ae30c8f8c2d33ceeb65e8a660e5722e8053800 Nada Amin namin@alum.mit.edu http://github.com/namin/spots/commit/c4d4d4358c2828ad6c28b174cb177ed5a3b44c60 c4d4d4358c2828ad6c28b174cb177ed5a3b44c60

2009-01-04T06:22:20-08:00

updated for latest smlnj 3c7a79c6a65e3db64bf3e29d896e435258a4b461 Nada Amin namin@alum.mit.edu