Tag: emacs

Emacs wishes for 2018

I like making New Year wishes. In 2018 I would like to do so many things, like finally learning Agda, finishing TAPL, reading a dozen of books on Medieval history. But most importantly I would like to improve my workflow by turning Emacs into platform-agnostic ultimate OS. Here's what I'd do. Read more...