Timeline
Not logged in

15 timeline items occurring on or after 2010-11-27 23:28:33.

2012-07-07
22:44
[2229a2f284] Leaf: memo on inner-macro expansions. (user: kinaba, tags: trunk)
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)