Why is it worth spending time on type theory?

(math.stackexchange.com)

2 points | by mindcrime 7 hours ago ago

1 comments

  • 7 hours ago ago
    [deleted]