An Autosubst-like tool for handling de Bruijn indices.
Primary LanguageLeanCreative Commons Zero v1.0 UniversalCC0-1.0