Login
From:
rufflewind.com
(Uncensored)
subscribe
Computational interpretation of double negation elimination - Rufflewind's Scratchpad
https://rufflewind.com/2016-12-11/double-negation-elimination
links
backlinks
Tagged with:
logic
math
haskell
Roast topics
Find topics
Find it!
Today’s shower thought is: Is there a way to interpret double negation elimination as a program?
