Skip to content

Release notes for F* 0.9.5

Jump to bottom Edit New page
Catalin Hritcu edited this page Mar 6, 2017 · 26 revisions
  • Much better support for reasoning by reification (Kenji et al)
  • Much prettier OCaml extracted code (Victor, #857)
  • F* version bootstrapped in F# trailing less behind (Christoph, e.g. #871)
  • Support for structs in generated low-level C code (Tahina)
Add a custom footer
Add a custom sidebar
Clone this wiki locally