]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 6418 | delifting_substitution.ma | blob | history | raw |
-rw-r--r-- | 2208 | labeled_sequential_computation.ma | blob | history | raw |
-rw-r--r-- | 10032 | lift.ma | blob | history | raw |
-rw-r--r-- | 1988 | multiplicity.ma | blob | history | raw |
-rw-r--r-- | 2424 | parallel_computation.ma | blob | history | raw |
-rw-r--r-- | 6228 | parallel_reduction.ma | blob | history | raw |
-rw-r--r-- | 3253 | sequential_computation.ma | blob | history | raw |
-rw-r--r-- | 4129 | sequential_reduction.ma | blob | history | raw |
-rw-r--r-- | 1436 | size.ma | blob | history | raw |
-rw-r--r-- | 2959 | term.ma | blob | history | raw |