4 ms·
There's also some related commentary from the Haskell subreddit here [1]. [1] https://np.reddit.com/r/haskell/comments/4ois15/would_the_smart_formal_methods_pe
by taspeotis 10y ago
There's also some related commentary from the Haskell subreddit here [1].
[1] https://np.reddit.com/r/haskell/comments/4ois15/would_the_smart_formal_methods_people_here_mind/ https://np.reddit.com/r/haskell/comments/4ois15/would_the_sm...