4 lines
82 B
Lua
4 lines
82 B
Lua
require('lean').setup{
|
|
abbreviations = { builtin = true },
|
|
mappings = true,
|
|
}
|