]>
-rw-r--r-- | 1945 | .depend | blob | raw |
-rw-r--r-- | 1422 | .depend.opt | blob | raw |
-rw-r--r-- | 1879 | 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-- | 179 | dune | blob | raw |
-rw-r--r-- | 6211 | nCic.ml | blob | raw |
-rw-r--r-- | 13044 | nCicEnvironment.ml | blob | raw |
-rw-r--r-- | 3244 | nCicEnvironment.mli | blob | raw |
-rw-r--r-- | 13267 | nCicPp.ml | blob | raw |
-rw-r--r-- | 1619 | nCicPp.mli | blob | raw |
-rw-r--r-- | 17653 | nCicReduction.ml | blob | raw |
-rw-r--r-- | 2116 | nCicReduction.mli | blob | raw |
-rw-r--r-- | 4322 | nCicSubstitution.ml | blob | raw |
-rw-r--r-- | 2649 | nCicSubstitution.mli | blob | raw |
-rw-r--r-- | 59345 | nCicTypeChecker.ml | blob | raw |
-rw-r--r-- | 2588 | nCicTypeChecker.mli | blob | raw |
-rw-r--r-- | 11864 | nCicUntrusted.ml | blob | raw |
-rw-r--r-- | 2248 | nCicUntrusted.mli | blob | raw |
-rw-r--r-- | 2980 | nCicUtils.ml | blob | raw |
-rw-r--r-- | 1349 | nCicUtils.mli | blob | raw |
-rw-r--r-- | 5173 | nReference.ml | blob | raw |
-rw-r--r-- | 1616 | nReference.mli | blob | raw |
-rw-r--r-- | 1686 | nUri.ml | blob | raw |
-rw-r--r-- | 1014 | nUri.mli | blob | raw |
-rw-r--r-- | 3839 | paper.txt | blob | raw |
-rw-r--r-- | 1511 | test.ma | blob | raw |