issues
search
svenkeidel
/
sturdy
Sturdy is a library for developing sound static analyses in Haskell.
BSD 3-Clause "New" or "Revised" License
60
stars
5
forks
source link
Port the wildcard semantics to new fixpoint with widening
#24
Closed
Hjdskes
closed
5 years ago