NaBL2 is a meta-language to specify name binding and type checking rules of your language. NaBL2 uses a constraint-based approach, and uses scope graphs to do name resolution.


To use NaBL2, you will need to have a recent nightly build of Spoofax 2.0 installed.


NaBL2 is currently under development, and any aspect of it might change without prior warning.