ちょっと blog さぼり気味

一時期、書かなかったことがあって、少し反省して twtter 的でもいいかと思ってたんですが...

　　まぁ、無理に書いてもな

anthy は、かな漢字変換は「ひらがなから」だけだったりするらしく、agdaの記号を入れるのは断念。

その代わり、nvim に常時入れることに。なんだが、vim には入らない

　　runtime agda-input.vim

ではだめなのか。

　　noremap! <buffer> <LocalLeader>bot ⊥

を手動で入れると動くので、runtime がだめらしい。