13:32 · Oct 4, 2022 · Tue
Codebase as Database: Turning the IDE Inside Out with Datalog https://petevilter.me/post/datalog-typechecking/
 
 
Back to Top