feat(LocallyNameless/Untyped): generalize eta_subst_fvar (#667)
#215
| Job | Run time |
|---|---|
| 36m 38s | |
| 36m 38s |
eta_subst_fvar (#667)
#215
| Job | Run time |
|---|---|
| 36m 38s | |
| 36m 38s |