37. Copy link Codebase as Database: Turning the IDE Inside Out with Datalog petevilter.me/post/datalog-typechecking Introspectable and extensible IDEs with logic programming about-compilers,is-blog,is-interactive,to-read 2023-11-25 18:37 UTC