Homomorphic static analysis (via janus) — discussion

#haskell