Expand description
The F* backend. The F* printer is still implemented in Ocaml but the phase driver uses this infrastructure
Structsยง
- FStar
Backend - The F* backend
The F* backend. The F* printer is still implemented in Ocaml but the phase driver uses this infrastructure