Writing static checks to an unsuspecting library with Liquid Haskell

(tweag.io)

2 points | by matt_d 13 hours ago ago

No comments yet.