S

sturdy

Sturdy is a library to create sound abstract interpreters in Haskell.

Forked from PLMZ / sturdy

Pull mirroring updated .