|
|
|
|
|
|
by drdeca
1653 days ago
|
|
|
I suspect the answer is yes, because it seems particularly well suited for that, but I haven't really gotten far enough into it to say for sure. But, I suspect the idea involves like, using the idea of equivalences from the type theory as being the paths, and such. |
|
|