20 timeline items by user kinaba occurring around 2010-11-30 11:21:42.
|
2010-12-05
| ||
| 22:28 | • Changes to wiki page Polemy (user: kinaba) | |
| 00:15 | [fc0b463347] Made the repl terminate by EOF (thanks yhamigaki!) (user: kinaba, tags: trunk) | |
|
2010-12-02
| ||
| 21:09 | • Changes to wiki page Polemy (user: kinaba) | |
| 20:46 | • Changes to wiki page Polemy (user: kinaba) | |
| 20:32 | • Changes to wiki page Polemy (user: kinaba) | |
| 20:29 | • Edit [88827b833669fcab]: Change background color to "#c0ffc0". Timestamp 2010-12-02 10:30:24. (user: kinaba) [details] | |
| 20:27 | • Edit [88827b833669fcab]: Timestamp 2010-12-02 10:30:24. Add tag "release". (user: kinaba) [details] | |
| 20:26 | • Edit [88827b833669fcab]: Add "release". (user: kinaba) [details] | |
| 19:30 | [88827b8336] sample clean-up (user: kinaba, tags: trunk, release) | |
|
2010-11-30
| ||
| 11:23 | [32e5c4ef44] documentation update (user: kinaba, tags: trunk) | |
| 11:21 | [3fb4d6f9ad] during @userdefinedlayer function evaluation, if lift(bottom) fails, the recursion is not memoized (user: kinaba, tags: trunk) | |
|
2010-11-28
| ||
| 08:46 | [576c494e53] fixed: literal "..." is now lifted in user-defined layers (user: kinaba, tags: trunk) | |
| 00:49 | [6de3d8df3a] reference manual completed (user: kinaba, tags: trunk) | |
|
2010-11-27
| ||
| 23:28 | [950fc6d3d4] no. lift _|_ for corecursion checking again. Current choices is, if it failed we instead assing _|_ itself. Maybe the better choice is to give up memoization when it failed to lift... (user: kinaba, tags: trunk) | |
| 23:23 | [005474ba5b] changed: not to lift _|_ (user: kinaba, tags: trunk) | |
| 21:49 | [a795c97dc3] changed Let.init to Let.vdef. IT IS VERY DANGEROUS TO USE .init MEMBER NAME in D!!!!!!!! (user: kinaba, tags: trunk) | |
| 20:46 | [203e4cb208] fixed automatic memoization bug (whole part of the contexts are now used as the memo key) (user: kinaba, tags: trunk) | |
| 00:13 | [6760e0dd02] evaluator refactoring done. x6 speed up. (user: kinaba, tags: trunk) | |
|
2010-11-26
| ||
| 21:22 | [23fb1b4a0e] jikken before non-memo macro (user: kinaba, tags: trunk) | |
| 16:42 | [f7e9e77316] introduced "..." expression, and replaced the pattern match failure with this. (user: kinaba, tags: trunk) | |