search

felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT License
50 stars 5 forks source link

Remove cache warning #21

Closed felixwellen closed 6 months ago

felixwellen commented 6 months ago

I'm planning to remove this warning:

image

I don't remember what problem made me put it everywhere (I think there was one though). Comment here if you think the warning should stay.

mnieper commented 6 months ago

+1

Put it just once in the top-level README.

Am So., 3. März 2024 um 12:13 Uhr schrieb Felix Cherubini < @.***>:

I'm planning to remove this warning:

image.png (view on web) https://github.com/felixwellen/synthetic-zariski/assets/22154668/d57bfa8a-1271-49b7-9f64-f6e02195cf2e

I don't remember what problem made me put it everywhere (I think there was one though). Comment here if you think the warning should stay.

— Reply to this email directly, view it on GitHub https://github.com/felixwellen/synthetic-zariski/issues/21, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHDTQ7QMRPXLX5AMGRGGKLYWMAWHAVCNFSM6AAAAABED34EQKVHI2DSMVQWIX3LMV43ASLTON2WKOZSGE3DKMZQGY3DIMY . You are receiving this because you are subscribed to this thread.Message ID: @.***>

felixwellen commented 6 months ago

Right! :-)