Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ainar-g
on Oct 30, 2017
|
parent
|
context
|
favorite
| on:
F* – An ML-like functional programming language ai...
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
[–]
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: