Skip to content
Main workflow

unification of (lam t1) (lam t2) moves t1 and t2 at same level + test #766

Sign in to view logs

unification of (lam t1) (lam t2) moves t1 and t2 at same level + test

unification of (lam t1) (lam t2) moves t1 and t2 at same level + test #766

This job succeeded