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 … Continue reading Setting up Agda on Debian →

Match multiple footnote marks with their disjoint text in LaTeX

I found an elegant solution to a problem I often have: I need to write some lengthy footnote in the middle of a paragraph, making the source LaTeX unreadable.

Ode to const

Some time ago I stumbled upon this article by Kyle Simpson (aka @getify) Sure const and let are new pals in JS-town, and we still have to understand properly their role, anyway, it’s been almost a year I’m using ES2015 regularly in my projects, and I really like the new variable declarations. I found them … Continue reading Ode to const →