Classes progress

[ice1000]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 62.50000% with 24 lines in your changes missing coverage. Please review.

Project coverage is 79.04%. Comparing base (7736c6d) to head (422b24f).
Report is 1 commits behind head on main.

Files	Patch %	Lines
...se/src/main/java/org/aya/unify/TermComparator.java	14.28%	5 Missing and 1 partial ⚠️
...x/src/main/java/org/aya/prettier/BasePrettier.java	0.00%	0 Missing and 6 partials ⚠️
...e/src/main/java/org/aya/tyck/tycker/AppTycker.java	77.77%	4 Missing ⚠️
...in/java/org/aya/syntax/telescope/AbstractTele.java	55.55%	3 Missing and 1 partial ⚠️
...x/src/main/java/org/aya/prettier/CorePrettier.java	0.00%	1 Missing and 2 partials ⚠️
...rc/main/java/org/aya/compiler/TermExprializer.java	0.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1115      +/-   ##
============================================
+ Coverage     78.84%   79.04%   +0.20%     
- Complexity     3279     3288       +9     
============================================
  Files           302      302              
  Lines         10015    10004      -11     
  Branches       1182     1190       +8     
============================================
+ Hits           7896     7908      +12     
+ Misses         1464     1434      -30     
- Partials        655      662       +7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.