An implementation of the language L3 - A Linear Language with Locations (https://www.ccs.neu.edu/home/amal/papers/linloc-fi07.pdf) in the Redex language.
Implementation of the syntax, static and dynamic semantics of the Core L3 language, with a type checking helper and numerous examples.