[Dok Melody Scratchpad Notes]

tech/IncA

Incremental static analyzer written in Datalog.