The library folders, with separate branches for kics2, pakcs and the common libraries

Name
Last commit
Last update
Control Loading commit data...
Data Loading commit data...
Debug Loading commit data...
System Loading commit data...
Test Loading commit data...
Text Loading commit data...
.gitignore Loading commit data...
Entfernt.txt Loading commit data...
LICENSE Loading commit data...
Makefile_kics2 Loading commit data...
Makefile_kics2_install Loading commit data...
Makefile_pakcs Loading commit data...
Makefile_pakcs_install Loading commit data...
MigrationGuide.txt Loading commit data...
Numeric.curry Loading commit data...
Prelude.curry Loading commit data...
Prelude.kics2 Loading commit data...
Prelude.pakcs Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
VERSION Loading commit data...
test.sh Loading commit data...