• Heitor Toledo Lassarote de Paula's avatar
    [LIGO-688] Support .pligo in Emacs · e169211f
    Heitor Toledo Lassarote de Paula authored
    Problem: We don't support .pligo in Emacs.
    
    Solution: For each dialect, properly document its file type in
    `file_types`. Loops over these when printing the supported extensions in
    Emacs.
    
    This had the side effect of automatically adding these for VS Code as
    well, but I don't think the `fileTypes` field there does anything...
    e169211f