autopushed

This commit is contained in:
2022-08-12 15:06:15 +02:00
parent b1b7376815
commit 61b0dcb0a0
+2
View File
@@ -34,3 +34,5 @@
- catching up with [[dyokomizo-flancian]]
- [[books]]
- I received [[topoi]] [[the categorial analysis of logic]] by [[robert goldblatt]]
- #push [[open questions]]
- [[protocols]] vs [[platforms]] -- there's a lot written about pros/cons of each and I think I intuitively prefer working on protocols (because of interop, etc.) but I need to read more about this.