Really do support eta-expand paths

[ice1000]

bors r+

[bors]

Build failed:

• gradle-check

[ice1000]

bors r+

[codecov]

Codecov Report

Merging #739 (fa113a6) into main (0c9f100) will decrease coverage by 0.03%.
The diff coverage is 73.80%.

❗ Current head fa113a6 differs from pull request most recent head 254289d. Consider uploading reports for the commit 254289d to get more accurate results

@@             Coverage Diff              @@
##               main     #739      +/-   ##
============================================
- Coverage     81.46%   81.43%   -0.04%     
- Complexity     3004     3012       +8     
============================================
  Files           260      260              
  Lines          9592     9619      +27     
  Branches       1190     1197       +7     
============================================
+ Hits           7814     7833      +19     
- Misses         1124     1128       +4     
- Partials        654      658       +4     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/core/term/PiTerm.java	62.71% <66.66%> (-2.41%)	⬇️
base/src/main/java/org/aya/tyck/ExprTycker.java	87.18% <75.00%> (+0.21%)	⬆️
base/src/main/java/org/aya/core/def/PrimDef.java	86.59% <100.00%> (ø)
base/src/main/java/org/aya/core/term/LamTerm.java	100.00% <100.00%> (ø)
base/src/main/java/org/aya/core/term/PathTerm.java	93.33% <100.00%> (ø)
base/src/main/java/org/aya/core/term/Term.java	89.72% <100.00%> (+0.05%)	⬆️
...c/main/java/org/aya/tyck/unify/TermComparator.java	75.72% <0.00%> (-0.29%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check