GitHub repository: larrytheliquid/infir
Primary language: Agda
Description: Source code accompanying the paper "Generic Lookup and Update for Infinitary Inductive-Recursive Types"