svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
Stargazers
No one’s star this repository yet.
Sturdy is a library for developing sound static analyses in Haskell.
PascalBSD-3-Clause
No one’s star this repository yet.