path: root/modules/neovim/nvim/after/ftplugin/lean.lua

require('lean').setup{ mappings = true }