Redex implementation of L3
A small-step semantics for L3, a linear language with locations. The L3 implementation in PLT Redex can be found here: https://github.com/eyang07/L3redex.
See also the L3 redex talk on the presentations page.
A small-step semantics for L3, a linear language with locations. The L3 implementation in PLT Redex can be found here: https://github.com/eyang07/L3redex.
See also the L3 redex talk on the presentations page.