Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ducktective | Dark Hacker News
user:
ducktective
created:
December 10, 2018
karma:
8.2k
about:
quack quack quack! :)
submissions
comments
1.
F*: A general-purpose proof-oriented programming language
(fstar-lang.org)
189 points
by
ducktective
62 days ago
|
99 comments