Irrelevance of Prop WIP

[ice1000]

#866

[codecov]

Codecov Report

Merging #875 (7c01dac) into main (10596dc) will increase coverage by 0.02%.
The diff coverage is 88.70%.

@@             Coverage Diff              @@
##               main     #875      +/-   ##
============================================
+ Coverage     82.13%   82.15%   +0.02%     
- Complexity     3382     3383       +1     
============================================
  Files           287      288       +1     
  Lines         10530    10537       +7     
  Branches       1257     1259       +2     
============================================
+ Hits           8649     8657       +8     
+ Misses         1171     1168       -3     
- Partials        710      712       +2     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/core/pat/PatUnify.java	69.09% <ø> (ø)
.../src/main/java/org/aya/tyck/pat/PatClassifier.java	99.15% <ø> (+0.50%)	⬆️
...rc/main/java/org/aya/tyck/tycker/StatedTycker.java	81.81% <50.00%> (-2.06%)	⬇️
...c/main/java/org/aya/tyck/unify/TermComparator.java	71.71% <63.63%> (-0.66%)	⬇️
base/src/main/java/org/aya/tyck/pat/Conquer.java	90.69% <80.00%> (+0.45%)	⬆️
base/src/main/java/org/aya/tyck/pat/YouTrack.java	97.05% <97.05%> (ø)
base/src/main/java/org/aya/core/def/Def.java	70.00% <100.00%> (ø)
base/src/main/java/org/aya/core/pat/PatToTerm.java	92.30% <100.00%> (-1.03%)	⬇️
base/src/main/java/org/aya/core/term/ConCall.java	100.00% <100.00%> (ø)
...ase/src/main/java/org/aya/core/term/SigmaTerm.java	84.78% <100.00%> (ø)
... and 6 more

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+

[ice1000]

I sometimes wish I've never been born at all

[bors]

Build succeeded:

• commit-check
• gradle-check