Parents and children of check-in [078444a806]
|
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) | |
| 13:58 | [3a2762fca5] _isXXX (user: kinaba, tags: trunk) | |