Fix tycking induction-recursion definitions

[imkiva]

by using Def.defTele(ref) over ref.core.telescope()

[codecov]

Codecov Report

Merging #659 (d75a268) into main (0c04c22) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##               main     #659   +/-   ##
=========================================
  Coverage     78.75%   78.76%           
- Complexity     2878     2879    +1     
=========================================
  Files           260      260           
  Lines          9428     9426    -2     
  Branches       1169     1168    -1     
=========================================
- Hits           7425     7424    -1     
  Misses         1381     1381           
+ Partials        622      621    -1     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/tyck/ExprTycker.java	86.77% <100.00%> (+0.14%)	⬆️
base/src/main/java/org/aya/tyck/LittleTyper.java	74.07% <100.00%> (ø)
...c/main/java/org/aya/tyck/unify/TermComparator.java	75.79% <100.00%> (ø)

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

[imkiva]

bors merge

[bors]

Build succeeded:

• commit-check
• gradle-check

[ice1000]

bors r+

[bors]

Already running a review