logoalt Hacker News

remywang • last Sunday at 4:05 PM • 1 reply • view on HN

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

Replies

thomastjeffery • last Sunday at 4:06 PM

Then why are we all so interested?

Examples provide more than syntax. It's the semantics that we care about most.

➕ show 1 reply