Skip to content

Instantly share code, notes, and snippets.

@milesrout

milesrout/gist:9d63b40c749537a097e41a16a1573687

Created September 18, 2016 02:38
Show Gist options
  • Save milesrout/9d63b40c749537a097e41a16a1573687 to your computer and use it in GitHub Desktop.
Save milesrout/9d63b40c749537a097e41a16a1573687 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
λ interpret dneImplAristotle
Proof {assumptions = fromList [(¬¬phi → phi)], conclusion = (¬(phi → ¬phi) → phi)}
λ interpret aristotleImplDne
Proof {assumptions = fromList [(¬(phi → ¬phi) → phi)], conclusion = (¬¬phi → phi)}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment