total correctness

• A nice bug
  by Bernd Schoeller (modified: 2007 Nov 30)

  Tags:
  • inheritance
  • bug
  • recursion
  • total correctness