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