← Feed @Taneb@hacksrus.xyz Post #2104126 2026-04-29 14:18 UTC How smart is Agda's compiler at erasing coinduction fuel at runtime Replies (0) No replies.