On 05/12/2014 11:29 PM, Mathijs Kwik wrote: > On Mon, May 12, 2014 at 11:18 PM, Mateusz Kowalczyk > <fuuze...@fuuzetsu.co.uk> wrote: >> >> The downside is the crowd of vim users that complain about basically >> having to use emacs for Agda ;) > > Idris does this way better in this respect. > Also, for haskell, ghc-mod works with both emacs and vim. > So it's really just Agda who has an ugly emacs-only solution (I > believe they generate lisp code to execute). > >> >> It's a great mode but I just hope one day copying and pasting works in >> it properly one day. >> >> I'm an emacs user at least until Yi is at acceptable level for me to use >> for everything. > > Heh, I didn't know about Yi yet. Sounds promising. > Although I don't expect they will finish soon _and_ have some org-mode > replacement ready.
org-mode is a commonly requested feature so sooner or later we'll have to write it. We have more pressing issues for now. > Damn emacs lock-in :P > -- Mateusz K. _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev