How does the borrow checker work?

[lancejpollard]

This is an exciting project, glad to see it in action! I saw all the design specs on the API for using the borrow checker, but how does the borrow checker work? Could you explain how it works, what the algorithm generally is?

I also saw Isaac-Leonard/BorrowScriptInterpreter/type_check.rs but I am not sure if that is the implementation. Even so it would be so cool to have a description of how it works.

Best of luck on the project(s), looking forward to hearing from you all!