Please, please don&#x27;t let this be the top comment on Idris. I really want to hear from people who have experience with it in different regards.<p>For example, what&#x27;s the editing experience like compared to e.g. OCaml with emacs&#x2F;Merlin? Is there anyone in a position to compare 1ML&#x27;s approach to unifying type&#x2F;value languages vs using dependent types?