3 ms·
Searching for "f*" gives correct link in 1st result in Google. Do you use Yahoo or other search engine?
by viach 9y ago
Searching for "f*" gives correct link in 1st result in Google. Do you use Yahoo or other search engine?
- ainar-g 9y agoI 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 9y agoyou would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
- smsm42 9y agoDDG (which I use) doesn't.