Setting up Agda on Debian

I wrestled with this for some days, but finally I figured it out. Here's a Bash script distilling the lessons I learned. The starting point is obviously Agda (quite cumbersome) documentation. I couldn't manage to run anything installed from apt, therefore I went for the first method. apt-get update # libraries necessary to run Cabal …