Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
viach
on Oct 30, 2017
|
parent
|
context
|
favorite
| on:
F* – An ML-like functional programming language ai...
Searching for "f*" gives correct link in 1st result in Google. Do you use Yahoo or other search engine?
ainar-g
on Oct 30, 2017
|
next
[–]
I am not the other person, but when I try to find a JSON decoding module for F* with "f* json", I get almost completely unrelated results. So, either there is no JSON codec for F* (I guess they could use the F#'s one) or Google can't find it.
arkkh
on Oct 30, 2017
|
parent
|
next
[–]
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
smsm42
on Oct 31, 2017
|
prev
[–]
DDG (which I use) doesn't.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
