F*: A general-purpose proof-oriented programming languagefstar-lang.org
61 points by ducktective 4 hours ago | 18 comments