Hacker News new | past | comments | ask | show | jobs | submit login

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.



you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: