Those videos on the Idris mode are also very impressive: https://www.youtube.com... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		thrw1q on Dec 14, 2014 \| parent \| context \| favorite \| on: Stack Exchange for Emacs Those videos on the Idris mode are also very impressive: https://www.youtube.com/channel/UCsON_8vogp4nCQFTnfu43kA (Other languages also have nice modes for context-aware completion (and more), like Haskell's ghc-mod and Rust's racer, which is incomplete but is already very nice)

pmoriarty on Dec 14, 2014 [–]

Or take a look at the videos at Emacs Rocks.[1]

[1] - http://emacsrocks.com/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact