546830☆ああ 2025/09/21 23:55 (Android)

>>546827
当時の扱い的に今のACL2的なもんだと記憶してるが間違ってる？そもそもACLすら無かったから難しい例えかもしれんけど