Improve library with pushing

[ice1000]

#723

[codecov]

Codecov Report

Merging #724 (d2cd2f0) into main (e5258a8) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@             Coverage Diff              @@
##               main     #724      +/-   ##
============================================
+ Coverage     81.47%   81.48%   +0.01%     
  Complexity     2999     2999              
============================================
  Files           260      260              
  Lines          9574     9574              
  Branches       1188     1188              
============================================
+ Hits           7800     7801       +1     
+ Misses         1120     1118       -2     
- Partials        654      655       +1     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/core/term/PiTerm.java	65.11% <100.00%> (ø)
...e/src/main/java/org/aya/distill/CoreDistiller.java	79.71% <100.00%> (ø)
base/src/main/java/org/aya/tyck/StmtTycker.java	87.68% <100.00%> (ø)
.../java/org/aya/cli/library/LibraryModuleLoader.java	76.66% <0.00%> (-10.00%)	⬇️
base/src/main/java/org/aya/tyck/ExprTycker.java	86.96% <0.00%> (+0.55%)	⬆️
base/src/main/java/org/aya/core/term/PathTerm.java	93.10% <0.00%> (+3.44%)	⬆️

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

[ice1000]

bors merge

[bors]

Build succeeded:

• commit-check
• gradle-check