3 ms·you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"by arkkh 9y agoyou would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"