Login
From:
Askar Safin
(Uncensored)
subscribe
This is why you should never use de Bruijn indices, especially if you program in Rust — Askar Safin
https://safinaskar.writeas.com/this-is-why-you-should-never-use-de-bruijn-indices-especially-if-you-program
links
backlinks
Tagged with:
rust
compilers
haskell
plt
formalmethods
Roast topics
Find topics
Find it!
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...
