misc: docs
16.66% of diff hit (target 79.11%)
View this Pull Request on Codecov
16.66% of diff hit (target 79.11%)
Annotations
Check warning on line 144 in base/src/main/java/org/aya/tyck/tycker/AppTycker.java
codecov / codecov/patch
base/src/main/java/org/aya/tyck/tycker/AppTycker.java#L144
Added line #L144 was not covered by tests
Check warning on line 201 in syntax/src/main/java/org/aya/prettier/CorePrettier.java
codecov / codecov/patch
syntax/src/main/java/org/aya/prettier/CorePrettier.java#L200-L201
Added lines #L200 - L201 were not covered by tests
Check warning on line 35 in syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java
codecov / codecov/patch
syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java#L35
Added line #L35 was not covered by tests
Check warning on line 44 in syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java
codecov / codecov/patch
syntax/src/main/java/org/aya/syntax/core/term/call/ClassCall.java#L44
Added line #L44 was not covered by tests