]>
-rw-r--r-- | 2267 | .depend | blob | raw |
-rw-r--r-- | 2143 | .depend.opt | blob | raw |
-rw-r--r-- | 2207 | Makefile | blob | raw |
-rw-r--r-- | 8270 | TEST | blob | raw |
-rw-r--r-- | 24915 | alluris.txt | blob | raw |
-rw-r--r-- | 1137 | bug_universi.ma | blob | raw |
-rw-r--r-- | 7198 | check.ml | blob | raw |
-rw-r--r-- | 4518 | nCic.ml | blob | raw |
-rw-r--r-- | 4479 | nCic2OCic.ml | blob | raw |
-rw-r--r-- | 836 | nCic2OCic.mli | blob | raw |
-rw-r--r-- | 6352 | nCicEnvironment.ml | blob | raw |
-rw-r--r-- | 1954 | nCicEnvironment.mli | blob | raw |
-rw-r--r-- | 1192 | nCicLibrary.ml | blob | raw |
-rw-r--r-- | 753 | nCicLibrary.mli | blob | raw |
-rw-r--r-- | 7312 | nCicPp.ml | blob | raw |
-rw-r--r-- | 1259 | nCicPp.mli | blob | raw |
-rw-r--r-- | 14189 | nCicReduction.ml | blob | raw |
-rw-r--r-- | 1204 | nCicReduction.mli | blob | raw |
-rw-r--r-- | 4150 | nCicSubstitution.ml | blob | raw |
-rw-r--r-- | 2539 | nCicSubstitution.mli | blob | raw |
-rw-r--r-- | 53522 | nCicTypeChecker.ml | blob | raw |
-rw-r--r-- | 1300 | nCicTypeChecker.mli | blob | raw |
-rw-r--r-- | 2648 | nCicUtils.ml | blob | raw |
-rw-r--r-- | 1244 | nCicUtils.mli | blob | raw |
-rw-r--r-- | 4515 | nReference.ml | blob | raw |
-rw-r--r-- | 1369 | nReference.mli | blob | raw |
-rw-r--r-- | 1534 | nUri.ml | blob | raw |
-rw-r--r-- | 846 | nUri.mli | blob | raw |
-rw-r--r-- | 32448 | oCic2NCic.ml | blob | raw |
-rw-r--r-- | 853 | oCic2NCic.mli | blob | raw |
-rw-r--r-- | 3839 | paper.txt | blob | raw |
-rw-r--r-- | 1777 | rt.ml | blob | raw |
-rw-r--r-- | 1511 | test.ma | blob | raw |