GitHub - firewall2142/Dedukti-polymorphism: Adds polymorphism to dedukti terms

Convert library files with DeduktiFLE
Place library files in ctslib/
Add definitions to add polymorphism to in whitelist.txt
Do ./run.sh
To convert using universo copy files to universo-translator/ctslib and run ./test.sh -lum connectives.dk logic.dk (Make sure to use the latest version from firewall2142/universo-translator)

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
ctslib		ctslib
meta		meta
middle		middle
poly		poly
tests		tests
theory		theory
.gitignore		.gitignore
README.md		README.md
conv.ml		conv.ml
dsu.ml		dsu.ml
dsu.mli		dsu.mli
dune		dune
dune-project		dune-project
list.ml		list.ml
main.ml		main.ml
main.opam		main.opam
poly.ml		poly.ml
procfile.ml		procfile.ml
run.sh		run.sh
topo.ml		topo.ml
topo.mli		topo.mli
vars.ml		vars.ml
whitelist.txt		whitelist.txt

firewall2142/Dedukti-polymorphism