phimuemue

Since Emacs needs quite an amount of time to start, I decided to give vim a try and am quite happy with it. However, I missed a feature that I appreciated since I came to know it in AucTeX: Showing and browsing the table of contents. So, I implemented a basic table of contents myself.

The following is a very simple unification algorithm in Haskell.

Some time ago, I had to create a LaTeX/beamer presentation. Suddenly, I realized that all overlays were shifted, i.e. I wanted <3> to become <5> and <7> to become <9> (I wanted all overlays two slides later.) See how emacs’ regex engine did this in seconds.