Forwarded from Lobste.rs
This is why you should never use de Bruijn indices, especially if you program in Rust
Comments
via safinaskar.writeas.com by safinaskar
Comments
via safinaskar.writeas.com by safinaskar
Askar Safin
This is why you should never use de Bruijn indices, especially if you program in Rust — Askar Safin
This post is answer to Jesper Cockx's article "1001 Representations of Syntax with Binding", so you can read it first (but this is not re...