[Nix-dev] haskell ide

Mateusz Kowalczyk fuuzetsu at fuuzetsu.co.uk
Tue May 13 07:07:50 CEST 2014


On 05/12/2014 11:29 PM, Mathijs Kwik wrote:
> On Mon, May 12, 2014 at 11:18 PM, Mateusz Kowalczyk
> <fuuzetsu at 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.


More information about the nix-dev mailing list