Richard Smith 62fe0cd385 Remove the builtin IR, and instead define builtin types locally. (#3910) 2 лет назад
..
builtin 62fe0cd385 Remove the builtin IR, and instead define builtin types locally. (#3910) 2 лет назад
call cae62765af Add builtins for basic float operations (#3897) 2 лет назад
declaration 62fe0cd385 Remove the builtin IR, and instead define builtin types locally. (#3910) 2 лет назад
definition 62fe0cd385 Remove the builtin IR, and instead define builtin types locally. (#3910) 2 лет назад
generic e0b8728263 Allocate de Bruijn levels to symbolic bindings. (#3906) 2 лет назад