Very nice. I am hoping for semantic editing to make it into Haskell mainstream since I saw idris-mode in action for the first time. Even if it is just a small

Very nice. I am hoping for semantic editing to make it into Haskell mainstream since I saw idris-mode in action for the first time. Even if it is just a small step sometimes, watching your editor write code for you based on what is already known from types is extremely cool. Note to the author: There is a typo in the code: fmap = \fab ma -> case eca of ... s/ma/eca/ or the other way around.