Hacker News new | ask | show | jobs
by arkkh 3161 days ago
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"