Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 99 # Comments: 32
正文保留英文原文（机翻易破坏代码与排版），标题/摘要已提供中文
文章 URL:https://fstar-lang.org/ 评论 URL:https://news.ycombinator.com/item?id=49143925 要点:99#评论:32
Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 99 # Comments: 32