I keep trying to get the gist of type theory and it's like eating unflavored jello.
-
-
The treatments I've seen just talk in circles around the subject without getting down to anything concrete. And no results! Just handwaving.
-
"we replace homotopy, which is a fairly delicate mathematical construction whose existence has to be checked and proven, with...a colon, which just sits there and magically does the same thing"
- 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.