2 lines
88 B
Makefile
2 lines
88 B
Makefile
|
watch:
|
||
|
|
watchexec -e fst fstar.exe core/hello.fst --codegen OCaml --extract_module Hello
|