Parents and children of check-in [6de3d8df3a]
|
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) | |