The code in this repository uses code from the Agda standard library
and from my library defining the simply typed lambda calculus.

Note that you have to use library code from a suitable date to make
things work. (If you use only the patches originating before the
creation date of the last patch in this repository things usually work
out.)