New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update the emacs mode to support splices #60

Open

gallais opened this issue Apr 16, 2020 · 1 comment

Labels

bug emacs

Member

gallais commented Apr 16, 2020

I think this may be getting too complex for emacs to handle. We could look
into the way Agda does this (we only need to run the parser).

gallais added bug emacs labels

Member Author

gallais commented Feb 11, 2021

Note that with polymode we ought to be able to have
highlighting for both markdown and shonky.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment