Minor improvements

[ice1000]

Including the readme, the library.

bors r+

[codecov]

Codecov Report

Merging #692 (32eab2a) into main (3984869) will increase coverage by 0.04%.
The diff coverage is 87.50%.

@@             Coverage Diff              @@
##               main     #692      +/-   ##
============================================
+ Coverage     78.83%   78.87%   +0.04%     
- Complexity     2868     2875       +7     
============================================
  Files           260      260              
  Lines          9462     9471       +9     
  Branches       1176     1178       +2     
============================================
+ Hits           7459     7470      +11     
- Misses         1374     1376       +2     
+ Partials        629      625       -4     

Impacted Files	Coverage Δ
...ava/org/aya/concrete/desugar/BinPatternParser.java	48.00% <0.00%> (-4.18%)	⬇️
...n/java/org/aya/concrete/desugar/BinExprParser.java	100.00% <100.00%> (ø)
...ain/java/org/aya/concrete/error/OperatorError.java	86.84% <100.00%> (+1.12%)	⬆️
...src/main/java/org/aya/cli/parse/AyaGKProducer.java	89.21% <100.00%> (+0.23%)	⬆️
...in/java/org/aya/cli/repl/render/RenderOptions.java	46.42% <100.00%> (ø)
.../src/main/java/org/aya/core/serde/CompiledAya.java	84.81% <0.00%> (+0.63%)	⬆️
base/src/main/java/org/aya/terck/CallGraph.java	95.45% <0.00%> (+1.51%)	⬆️
base/src/main/java/org/aya/terck/CallResolver.java	83.87% <0.00%> (+1.61%)	⬆️

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

[bors]

Build succeeded:

• commit-check
• gradle-check