projects / helm.git / tree
| -rw-r--r-- | 2023 | .depend | blob | raw |
| -rw-r--r-- | 2023 | .depend.opt | blob | raw |
| -rw-r--r-- | 1967 | 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-- | 4867 | nCic.ml | blob | raw |
| -rw-r--r-- | 12304 | nCicEnvironment.ml | blob | raw |
| -rw-r--r-- | 3056 | nCicEnvironment.mli | blob | raw |
| -rw-r--r-- | 12641 | nCicPp.ml | blob | raw |
| -rw-r--r-- | 2014 | nCicPp.mli | blob | raw |
| -rw-r--r-- | 17010 | nCicReduction.ml | blob | raw |
| -rw-r--r-- | 1946 | nCicReduction.mli | blob | raw |
| -rw-r--r-- | 4430 | nCicSubstitution.ml | blob | raw |
| -rw-r--r-- | 2649 | nCicSubstitution.mli | blob | raw |
| -rw-r--r-- | 56712 | nCicTypeChecker.ml | blob | raw |
| -rw-r--r-- | 2328 | nCicTypeChecker.mli | blob | raw |
| -rw-r--r-- | 10624 | nCicUntrusted.ml | blob | raw |
| -rw-r--r-- | 1936 | nCicUntrusted.mli | blob | raw |
| -rw-r--r-- | 2971 | nCicUtils.ml | blob | raw |
| -rw-r--r-- | 1317 | nCicUtils.mli | blob | raw |
| -rw-r--r-- | 5104 | nReference.ml | blob | raw |
| -rw-r--r-- | 1589 | nReference.mli | blob | raw |
| -rw-r--r-- | 1582 | nUri.ml | blob | raw |
| -rw-r--r-- | 918 | nUri.mli | blob | raw |
| -rw-r--r-- | 3839 | paper.txt | blob | raw |
| -rw-r--r-- | 1511 | test.ma | blob | raw |