Ting-gian LUA

I'm thinking about making a module in the text a link, so that people can also access the intermediate openings

Perhaps we can add a section for something like "Differences between Atom and Emacs mode"? And list the commands that currently only exist on one of the editors?

Does this incorrect line-counting also happens on `.agda` files, or just `.lagda` files? I'll see why save-before-load is not working.

I've been writing tests recently (finally) and found some glitches in parsing highlighting locations!

@DimaSamoz thank you for reporting this. Could you [provide](https://gist.github.com/) a piece of code that causes this problem?

Here's a recording of me typing `\forall` on the editor: https://i.imgur.com/MwnqObR.mp4 If you hit `\` you should see a "keyboard" pop up as in the video. I think there's nothing...

You can go to "Settings > Keybindings" or open the "Key binding resolver" to see what's competing with agda-mode for \\

Sorry for the inconvenience 😢 Perhaps something is wrong about agda-mode. Please open Atom in dev mode (`atom -d` or "View > Developer > Open In Dev Mode"), and then...

@smimram so `alt-/` works but `\` does not work, is that right? @bgavran does `alt-/` also works for you? This issue now looks a lot like #10 (I'm reopening this)

What do you mean by a palette? The panel that pops up after your loaded the file (`ctrl-c ctrl-l`) ? The input method activates only when the file extension is...