-
Marc Coiffier authored
Generalize the CaPriCon operations into a class, to better manage de Bruijn indices in dynamically-created terms
5aacb188
Generalize the CaPriCon operations into a class, to better manage de Bruijn indices in dynamically-created terms