2023-03-14 20:57:07 +01:00
|
|
|
local A = require("my.abbreviations")
|
|
|
|
local scrap = require("scrap")
|
|
|
|
local M = {}
|
|
|
|
|
2024-04-27 21:38:06 +02:00
|
|
|
M.symbols = {
|
2023-03-14 20:57:07 +01:00
|
|
|
{ "mto", ">>=" }, -- [M]onadic [t]o
|
2024-02-24 01:53:32 +01:00
|
|
|
{ "oalt", "<|>" }, -- [O]peration [A]lternative
|
2023-03-14 20:57:07 +01:00
|
|
|
{ "omono", "<>" }, -- [O]peration [M]onoid
|
|
|
|
}
|
|
|
|
|
|
|
|
function M.setup()
|
2024-04-27 21:38:06 +02:00
|
|
|
A.manyLocalAbbr(scrap.expand_many(M.symbols, A.no_capitalization))
|
2023-03-14 20:57:07 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
return M
|