]>
-rw-r--r-- | 1547 | .depend | blob | raw |
-rw-r--r-- | 535 | Makefile | blob | raw |
-rw-r--r-- | 4670 | nCic.ml | blob | raw |
-rw-r--r-- | 3178 | nCic2OCic.ml | blob | raw |
-rw-r--r-- | 62 | nCic2OCic.mli | blob | raw |
-rw-r--r-- | 1894 | nCicEnvironment.ml | blob | raw |
-rw-r--r-- | 1597 | nCicEnvironment.mli | blob | raw |
-rw-r--r-- | 32174 | nCicReduction.ml | blob | raw |
-rw-r--r-- | 1763 | nCicReduction.mli | blob | raw |
-rw-r--r-- | 5302 | nCicSubstitution.ml | blob | raw |
-rw-r--r-- | 2877 | nCicSubstitution.mli | blob | raw |
-rw-r--r-- | 198 | nCicTypeChecker.ml | blob | raw |
-rw-r--r-- | 1183 | nCicTypeChecker.mli | blob | raw |
-rw-r--r-- | 1402 | nCicUtils.ml | blob | raw |
-rw-r--r-- | 1213 | nCicUtils.mli | blob | raw |
-rw-r--r-- | 3980 | nReference.ml | blob | raw |
-rw-r--r-- | 1442 | nReference.mli | blob | raw |
-rw-r--r-- | 902 | nUri.ml | blob | raw |
-rw-r--r-- | 243 | nUri.mli | blob | raw |
-rw-r--r-- | 9881 | oCic2NCic.ml | blob | raw |
-rw-r--r-- | 60 | oCic2NCic.mli | blob | raw |
-rw-r--r-- | 231 | oCicTypeChecker.ml | blob | raw |
-rw-r--r-- | 1157 | oCicTypeChecker.mli | blob | raw |
-rw-r--r-- | 747 | rt.ml | blob | raw |
-rw-r--r-- | 1511 | test.ma | blob | raw |