Post #2808367

Based on what I've seen from them I would bet that they're mostly pretty close to good implementations (except for the Agda one. I don't think the Agda one works at all. I gave the task to Claude because I like making robots suffer and wanted to see what would happen) but I'd expect they contain at least one absolute howler.