Compiling with Classical Connectives (2020) [pdf]pauldownen.com1 point·082349872349872··0 commentsOpen articleSaveView on HN