NaBL2ΒΆ

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.

Note

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

Warning

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