This repository has been archived by the owner on May 18, 2021. It is now read-only.

agda-mode exists for Atom too #20

Open

marnen opened this issue Nov 6, 2018 · 0 comments

marnen commented Nov 6, 2018

In https://github.com/liamoc/learn-you-an-agda/blob/master/pages/introduction.md, it says that it's only feasible to edit Agda code in Emacs. That's no longer true, given the existence of agda-mode for Atom. Shall I submit a pull request to update that page?

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