Installing Agda using Stack
I recently installed Agda on my Linux machine, so I'll take note of what I did.           Install...
Tags: agda, stack, emacs, haskell