Anyone coming from a Haskell background, there’s some interesting (though possibly dated) info here: https://www.reddit.com/r/haskell/comments/76k1x0/what_do_y

Anyone coming from a Haskell background, there’s some interesting (though possibly dated) info here: https://www.reddit.com/r/haskell/comments/76k1x0/what_do_you_guys_think_of_f_fstar/ https://www.reddit.com/r/haskell/comments/76k1x0/what_do_you...