[Dok Melody Scratchpad Notes]

tech/Formulog-code-analysis

Datalog + fixpoint semantic + SAT solver.

It performs static analysis of the code, with type check.