webyrd / relational-alpha-equivalence-experiments

Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.

relational-alpha-equivalence-experiments

Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.

Please see indivdual project directories for descriptions and license information.