Parents and children of check-in [5afe8e3f26]
|
2010-11-20
| ||
| 18:20 | [515502e8d1] table get, init, ask expressions addded (user: kinaba, tags: trunk) | |
|
2010-11-13
| ||
| 21:16 | [5afe8e3f26] Memoization on non "@v" layer. Now simplest metalevel computation works!! Also, added -l option. (user: kinaba, tags: trunk) | |
| 14:38 | [078444a806] additional primitives for doing typechecking (user: kinaba, tags: trunk) | |