search

fdilke / bewl

A DSL for the internal language of a topos
60 stars 3 forks source link

Fix tutorial #5

Closed lbordowitz closed 4 years ago

fdilke commented 4 years ago

Good spot! I'm amazed at the depth of understanding this shows of the very abstruse subject :)