(alpha-normalize this)
α-normalize an expression by renaming all variables to _
and using
De Bruijn indices to distinguish them
α-normalize an expression by renaming all variables to `_` and using De Bruijn indices to distinguish them
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close