Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational. - View it on GitHub