event counters The last message was received 5.96 hours ago at 15:53 on Feb 13, 2012 10 messages so far today, 9 messages yesterday 10 messages so far this week, 68 messages last week 119 messages so far this month, 110 messages last month 72611 messages since the first one, 6.93 years ago, for an average of 0.84 hours between messages recent messages date | project | content | link |
|---|
| 15:53 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-12:25:41 /: ddc-core: add more broken tests | # | | 15:30 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-12:02:56 /: ddc-core: add some broken eval tests | # | | 15:30 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-11:37:07 /: ddc-core-eval: add primop / forget test | # | | 15:30 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-11:29:09 /: ddc-core: add test for forget cast around case discriminant | # | | 15:30 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-11:18:21 /: ddci-core: update help page | # | | 15:30 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-11:12:01 /: ddc-core: haddocks | # | | 14:36 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-11:07:41 /: ddc-core-eval: cleanup Haddocks for the evaluator | # | | 13:43 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-10:11:22 /: Shift core language evaluator into the ddc-core-eval package | # | | 13:26 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-09:58:38 /: ddc-core: fix bug with closure lowering | # | | 04:57 today | disciple | Commit by Ben Lippmeier :: r2012/02/13-01:30:00 /: ddc-core: unhide the new collect module | # | | 15:56 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-12:29:35 /: ddc-core: remember to rewrite types of anoymised bounds | # | | 15:50 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-11:57:28 /: ddc-core: refactor SubstituteWX to use new subst framework | # | | 15:50 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-12:22:45 /: ddc-core: refactor SubstituteTX to use new subst framework | # | | 15:50 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-11:42:07 /: ddc-core: refactor bind function names | # | | 15:01 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-11:35:01 /: ddc-core: split out var rewrite utils into own module | # | | 14:03 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-10:36:21 /: ddc-core: add more capture avoidance tests | # | | 13:40 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-10:13:06 /: ddc-core: Rewrite SubstituteXX to avoid conflicts with letregion | # | | 13:40 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-04:49:09 /: ddc-core: rename gatherBound -> collectBound | # | | 13:40 yesterday | disciple | Commit by Ben Lippmeier :: r2012/02/12-04:47:16 /: ddc-core: rename BindTree module | # | | 15:00 Saturday | disciple | Commit by Ben Lippmeier :: r2012/02/11-11:33:42 /: ddc-core: rewrite freeT and freeX in terms of BindTree | # |
|