GitHub - wabbit-corp/kappa

Name		Name	Last commit message	Last commit date
Latest commit History 957 Commits
editors/vscode/kappa		editors/vscode/kappa
elpi-tests		elpi-tests
examples		examples
issue-mining		issue-mining
new-tests		new-tests
pending-failures		pending-failures
reviews		reviews
scripts		scripts
src		src
tests		tests
tools/lambda_prolog		tools/lambda_prolog
.gitignore		.gitignore
Kappa.Compiler.sln		Kappa.Compiler.sln
PLAN.md		PLAN.md
Spec.md		Spec.md
TODO.md		TODO.md
test_package_sources.py		test_package_sources.py
test_promote_new_tests.py		test_promote_new_tests.py
test_validate.py		test_validate.py