nvim-agda

ってのがあって、今度は Lua で書かれてる

python3 の方は、Unicodeの関係で動かないみたい。簡単なのは動くけど。

vim の pack の下において

luautf8 module をつかうのね

で、なになに?

　　brew install luarocks
　　luarocks install luautf8

いいよ。

　　　　　　　　　
　　Lua 5.4.4　Copyright (C) 1994-2022 Lua.org, PUC-Rio
　　> require "lua-utf8"
　　table: 0x600000e84180　 /opt/homebrew/lib/lua/5.4/lua-utf8.so

問題ないし。

　　　　　　　　　　　　　　　　　　　
Error detected while processing /Users/kono/bin/.vim/pack/plugins/start/nvim-agda/ftplugin/agda.vim:
line　　9:
E5108: Error executing lua ...kono/.vim/pack/plugins/start/nvim-agda/lua/agda/init.lua:1: module 'lua-utf8' not found:
　　　　no field package.preload['lua-utf8']
　　　　no file './lua-utf8.lua'
　　　　no file '/opt/homebrew/Cellar/luajit-openresty/2.1-20220411/share/luajit-2.1.0-beta3/lua-utf8.lua'
　　　　no file '/usr/local/share/lua/5.1/lua-utf8.lua'
　　　　no file '/usr/local/share/lua/5.1/lua-utf8/init.lua'

あぁ、なるほど。neovim の Lua は 5.1 だと。

　 brew install lua@5.1
　 luarocks install　--lua-version 5.1　luautf8

え、まだだめなの。

luarocks install --lua-version 5.1 luautf8 sudo rsync -av ~/.luarocks/lib/lua/5.1 /usr/local/lib/lua でなんとなく動いたが...