How We Built an Interactive Debugger for Our Datalog-Inspired Logic Language

We built a debugger for Polar, a logic language for authorization with recursion and backtracking. Learn how coinduction, laziness, and Rust-native design helpe