Skip to content

Commit

Permalink
lang: unification: Clean up the solver plumbing
Browse files Browse the repository at this point in the history 
This refactors the solver into a separate struct that can be extended as
needed.
  • Loading branch information
@purpleidea
purpleidea committed Mar 16, 2024
1 parent 849de64 commit ba6d816
Showing 1 changed file with 79 additions and 68 deletions.
Loading

0 comments on commit ba6d816

Please sign in to comment.