Namespaced De Bruijn Indices (haskellforall.com)
In this post I share a trick I use for dealing with bound variables in Dhall that I thought might be useful for other interpreted programming languages.
Programming, Haskell, Functional Programming, Dhall
8 points by fanf2 84 days ago | 0 comments