Vladimir_Nesov comments on Imperative Categories?

Vladimir_Nesov 5 Oct 2011 21:46 UTC
6 points
...and Trike very quickly fixed the bug, so the post is now in Discussion.
- MarkusRamikin 6 Oct 2011 7:31 UTC
  2 points
  Parent
  This calls for a Trike post so we can upvote!