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