De Bruijin indices are way more compact. For example in lambda abstractions and let bindings one doesn't even need to store bindings. So this is big improvement when it comes to encoding efficiency. It also should allow faster look
In order to support compilation from HL language both named and de Brujin indices are supported this however led to some boilerplate.
De Bruijin indices are way more compact. For example in lambda abstractions and let bindings one doesn't even need to store bindings. So this is big improvement when it comes to encoding efficiency. It also should allow faster look
In order to support compilation from HL language both named and de Brujin indices are supported this however led to some boilerplate.
Implementation is not complete but tests pass.