]> gitweb.factorcode.org Git - factor.git/tree - extra/koszul/
Merge branch 'master' into propagation
[factor.git] / extra / koszul /
drwxr-xr-x   ..
-rwxr-xr-x 13 authors.txt
-rw-r--r-- 1473 koszul-tests.factor
-rw-r--r-- 7434 koszul.factor
-rwxr-xr-x 23 summary.txt