|
1 year ago | |
---|---|---|
build | 1 year ago | |
reference | 1 year ago | |
.gitignore | 1 year ago | |
LICENSE | 1 year ago | |
Makefile | 1 year ago | |
README.md | 1 year ago | |
SExpr.fst | 1 year ago |
S-expressions parser in Low*
make
FStarLang/FStarmake
FStarLang/KreMLinmake
in this directorySExpr
from the build/
directoryCross your fingers. FStar and KreMLin are still in beta and not everything works the first time.
This work is licensed AGPLv3-or-later.