generated at
F*


MicroSoftとINRIAが開発
プログラム検証に使われる
OCaml、F#、Cにコンパイルする

github
HP
http://www.fstar-lang.org/tutorial/
tutorial

型システム
依存型
篩型もある？
monadic effect
https://www.riseforfun.com/FStar/tutorialcontent/guide#h23
ぶろぐ
http://yuchiki1000yen.hatenablog.com/entry/2018/07/07/155854

https://twitter.com/zecl/status/1140785613303504897
ダイクストラモナド

https://github.com/FStarLang/kremlin


hcal-star
https://github.com/project-everest/hacl-star
F*実装のなにか


参考
https://ja.wikipedia.org/wiki/F*_(プログラミング言語)

#プログラミング言語