Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bluGill
on May 17, 2024
|
parent
|
context
|
favorite
| on:
F* – A Proof-Oriented Programming Language
I've talked to people on both sides of that question. Some think you can (but have had little success in convincing anyone to do it), others think you cannot.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: