Three-Valued Logic in the λ-Calculus Posted by octed on Sunday March 12, 2023 @06:43PM from the oktagonia.github.io dept. https://oktagonia.github.io/blog/ternary/ternary.html ( no comments | on HN )
There are no comments yet.