KALA: upgrade to 0.56.0

[Glavo]

No description provided.

[codecov]

Codecov Report

Merging #668 (7439003) into main (ec9a623) will decrease coverage by 0.01%.
The diff coverage is 69.23%.

@@             Coverage Diff              @@
##               main     #668      +/-   ##
============================================
- Coverage     78.75%   78.74%   -0.02%     
+ Complexity     2878     2875       -3     
============================================
  Files           260      260              
  Lines          9428     9423       -5     
  Branches       1168     1167       -1     
============================================
- Hits           7425     7420       -5     
  Misses         1382     1382              
  Partials        621      621              

Impacted Files	Coverage Δ
.../src/main/java/org/aya/core/serde/CompiledAya.java	82.99% <50.00%> (-0.23%)	⬇️
...ase/src/main/java/org/aya/core/pat/PatMatcher.java	81.03% <100.00%> (-0.64%)	⬇️
base/src/main/java/org/aya/core/pat/PatUnify.java	62.50% <100.00%> (ø)
...c/main/java/org/aya/tyck/unify/TermComparator.java	76.01% <100.00%> (-0.07%)	⬇️

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