fstar-experiments

FStar experiments

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
output		output
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Rego.Ast.fst		Rego.Ast.fst
Rego.Ast.fsti		Rego.Ast.fsti
Rego.Interpreter.fst		Rego.Interpreter.fst
Rego.Interpreter.fsti		Rego.Interpreter.fsti
Rego.Main.fst		Rego.Main.fst
Rego.Value.fst		Rego.Value.fst
Rego.Value.fsti		Rego.Value.fsti
Rego.fst.config.json		Rego.fst.config.json

Provide feedback