Namespaced De Bruijn Indices

7 points | by fanf2 20 hours ago