Implement resolveLax, allow inline code to refer to variable

[ice1000]

bors r+

[bors]

Build failed:

• gradle-check

[ice1000]

bors r+

[bors]

Build failed:

• gradle-check

[ice1000]

bors r+

[ice1000]

三回啊三回

[bors]

Build failed:

• gradle-check

[codecov]

Codecov Report

Merging #767 (5624af8) into main (0f5e7c1) will increase coverage by 0.04%.
The diff coverage is 66.66%.

@@             Coverage Diff              @@
##               main     #767      +/-   ##
============================================
+ Coverage     82.00%   82.04%   +0.04%     
- Complexity     3152     3155       +3     
============================================
  Files           270      270              
  Lines         10006    10007       +1     
  Branches       1229     1230       +1     
============================================
+ Hits           8205     8210       +5     
+ Misses         1128     1125       -3     
+ Partials        673      672       -1     

Impacted Files	Coverage Δ
...ava/org/aya/concrete/remark/CodeAttrProcessor.java	69.81% <0.00%> (-1.35%)	⬇️
base/src/main/java/org/aya/concrete/Expr.java	84.30% <50.00%> (ø)
...i/src/main/java/org/aya/cli/repl/ReplCompiler.java	74.32% <50.00%> (ø)
...ain/java/org/aya/resolve/visitor/ExprResolver.java	91.66% <100.00%> (ø)
...rc/main/java/org/aya/cli/single/SingleAyaFile.java	66.66% <100.00%> (ø)
base/src/main/java/org/aya/core/serde/SerTerm.java	85.26% <0.00%> (+1.05%)	⬆️
base/src/main/java/org/aya/tyck/unify/Unifier.java	68.49% <0.00%> (+1.36%)	⬆️
base/src/main/java/org/aya/tyck/env/LocalCtx.java	81.25% <0.00%> (+2.08%)	⬆️
base/src/main/java/org/aya/tyck/TyckState.java	94.87% <0.00%> (+5.12%)	⬆️

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