]>
-rw-r--r-- | 2667 | .depend | blob | raw |
-rw-r--r-- | 2667 | .depend.opt | blob | raw |
-rw-r--r-- | 2228 | Makefile | blob | raw |
-rw-r--r-- | 8270 | TEST | blob | raw |
-rw-r--r-- | 883 | TODO | blob | raw |
-rw-r--r-- | 24915 | alluris.txt | blob | raw |
-rw-r--r-- | 1137 | bug_universi.ma | blob | raw |
-rw-r--r-- | 7613 | check.ml | blob | raw |
-rw-r--r-- | 4631 | nCic.ml | blob | raw |
-rw-r--r-- | 4479 | nCic2OCic.ml | blob | raw |
-rw-r--r-- | 836 | nCic2OCic.mli | blob | raw |
-rw-r--r-- | 7396 | nCicEnvironment.ml | blob | raw |
-rw-r--r-- | 2065 | nCicEnvironment.mli | blob | raw |
-rw-r--r-- | 3009 | nCicLibrary.ml | blob | raw |
-rw-r--r-- | 930 | nCicLibrary.mli | blob | raw |
-rw-r--r-- | 11445 | nCicPp.ml | blob | raw |
-rw-r--r-- | 1232 | nCicPp.mli | blob | raw |
-rw-r--r-- | 16276 | nCicReduction.ml | blob | raw |
-rw-r--r-- | 1912 | nCicReduction.mli | blob | raw |
-rw-r--r-- | 4204 | nCicSubstitution.ml | blob | raw |
-rw-r--r-- | 2582 | nCicSubstitution.mli | blob | raw |
-rw-r--r-- | 54472 | nCicTypeChecker.ml | blob | raw |
-rw-r--r-- | 2190 | nCicTypeChecker.mli | blob | raw |
-rw-r--r-- | 6969 | nCicUntrusted.ml | blob | raw |
-rw-r--r-- | 1330 | nCicUntrusted.mli | blob | raw |
-rw-r--r-- | 2971 | nCicUtils.ml | blob | raw |
-rw-r--r-- | 1317 | nCicUtils.mli | blob | raw |
-rw-r--r-- | 4973 | nReference.ml | blob | raw |
-rw-r--r-- | 1546 | nReference.mli | blob | raw |
-rw-r--r-- | 1551 | nUri.ml | blob | raw |
-rw-r--r-- | 878 | nUri.mli | blob | raw |
-rw-r--r-- | 33224 | oCic2NCic.ml | blob | raw |
-rw-r--r-- | 952 | oCic2NCic.mli | blob | raw |
-rw-r--r-- | 3839 | paper.txt | blob | raw |
-rw-r--r-- | 1733 | rt.ml | blob | raw |
-rw-r--r-- | 1511 | test.ma | blob | raw |