Timeline
Not logged in

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)