パンの木を植えて

主として数学の話をするブログ

今日学んだこと

型理論の資料,リソース

型理論のリソースを探したのでメモします.

VSCodeでワークスペースの拡張機能を同僚などと共有したいとき,どうするか?

学んだことのメモ VSCodeでワークスペースの拡張機能を管理する方法