Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
thrw1q
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
thrw1q
12y ago
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-m