Skip to content

Refactor examples makefile to simplify extraction tests.#15

Open
gebner wants to merge 1 commit intoFStarLang:mainfrom gebner:refactorexamplesmakefile
+16-34

Commits

Commits on Mar 5, 2024