やること
計画的にやろうね
意義
入試とかいうのをやるのでちゃんとタスク管理をしないと終わる
というかスタートが遅いので超密度でタスクをバシバシこなさないと質量が稼げない
ので真面目にタスク管理する
運用
1ヶ月のタスクをここに書き、今やるべきことには #次やること をつける ペイロード
自己推薦書書く
環境構築する
Neovimでsatysfi-language-serverが動くようにする
前例ある気がする
mini_camlish_typedやって型の理解を深める
.NETのソリューションとかについて理解する
インタプリタ実装する
cycle-refresh?
Koka language server?
調べるとこ
Kokaコンパイラからの解析情報がどれくらい簡単に得られるか
コンパイラの情報垂れ流しを利用してどれくらいの制度が出るのか
satysfi-l-sはどう実装されてる?