@sliminality@types.pl I have been called out. My toy programming language both allowed spaces in binder names and defaulted to de Bruijn indexing if you omitted names (or peeked through veil of the UI)…