ElsaSyntax highlighting and auto complete for UCSD's Elsa programming language. When autocompleting an alias, the "(expand)" version may be selected to replace it with what it aliases. This is particularly useful while performing definition expansions. Release Notes
|