Surprised to see F* getting so much love over on /r/programming http://www.reddit.com/r/programming/comments/23xzp3/f_a_dependentlytyped_variant_of_f_for_program/ …
@psnively @rickasaurus @puffnfresh @pandamonial I'd understood it was refinement types, checked with Z3. So a useful/interesting subset.
4:02 PM - 25 Apr 2014
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.