|
|
|
|
|
|
by ndndjdjdn
608 days ago
|
|
|
It is a fascinating topic. I spent a few hours on it once. I remember vaguely that the logic is very configurable and you had a lot of choices. Like you choose law of excluded middle or not I think, and things like that depending on your taste or problem. I might be wrong it was 8 years ago and I spent a couple of weeks reading about it. Also no suprise the rabbit hole came from Haskell where those types (huh) are attracted to this more.foundational theory of computation. |
|
|