Epsilon calculus - Wikipedia - discu.eu

Reddit

Fun fact: The continuation monad `Cont r a` has an equality instance when `r` is finite. https://en.wikipedia.org/wiki/Epsilon_calculus#Hilbert_notation 24 comments 20/1/2019 haskell

Linking pages

TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
Sketchy Exact Reals from Interval Arithmetic | Hey There Buddo! https://www.philipzucker.com/Reals_from_intervals/ 0 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:en.wikipedia.org

Search title: Epsilon calculus - Wikipedia

See how to search.

Submit link to: