Comment by remywang

That’s because syntax is the least interesting part of F*.