1. 11
    F*: A Higher-Order Effectful Language Designed for Program Verification compsci fstar-lang.org
    sanxiyn avatar via sanxiyn 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  1. 3
    flyingfisch avatar flyingfisch 8 years ago | link

    One of the hardest things to search for ever.

    1. 1
      sanxiyn avatar sanxiyn 8 years ago | link

      “fstar” seems to work reasonably well.

    Stories with similar links:

    1. F*: A Higher-Order Effectful Language Designed for Program Verification via pushcx 5 years ago | 15 points | 2 comments