Modulesยง
- apply_
args - definition_
merge - definition_
pruning - desugar_
bend - desugar_
fold - desugar_
match_ defs - desugar_
open - desugar_
use - desugar_
with_ blocks - encode_
adts - encode_
match_ terms - expand_
generated - expand_
main - fix_
match_ defs - fix_
match_ terms - float_
combinators - lift_
local_ defs - linearize_
matches - linearize_
vars - resolve_
refs - resolve_
type_ ctrs - resugar_
list - resugar_
string - unique_
names