Follow

who called them “nameless de Bruijn indices“ instead of “the bound of the Haskell vars”

· · Web · 1 · 0 · 2
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!