Anastasia Izmaylova's repositories
rascal-core-with-redex
Experiments with defining the Rascal Core operational semantics using PLT Redex.
Centrum Wiskunde & Informatica
Amsterdam
Experiments with defining the Rascal Core operational semantics using PLT Redex.