search

Unisay / purescript-lua

Purescript compiler back-end for Lua
GNU General Public License v3.0
56 stars 2 forks source link

Rework substitution #3

Closed Unisay closed 1 year ago

Unisay commented 1 year ago

Use namespaced De Bruijn indexes instead of the Locally Nameless