Code Snippets Type Language

Short texts Type Language 🧑‍💻 Code snippets Type Language ✍️ Reading lists Type Language 👀

tl type definitions for luafun (incomplete)

local fd = assert(io.open(‘fun.d.tl’, ‘w’)) local function repeat_for_variables( str: string, expand_wrapped: boolean, setup: nil | function({string:string}) ): string local type_args = {‘r1’, ‘r2’, ‘r3’, ‘r4’, ‘r5’, ‘r6’, ‘r7’, ‘r8’, ‘r9’, ‘r10’} local res = {} for i = 1, #type_args do local params = { N = tostring(i), OUT = table.concat(type_args, ‘,’, 1, i), FOUT […]