Type definitions / Stubs for the Lua API / interface of LuaTeX and related Lua modules.
Primary LanguageLuaGNU General Public License v2.0GPL-2.0