]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1438 | iterated_abstraction.ma | blob | history | raw |
-rw-r--r-- | 2214 | labeled_sequential_computation.ma | blob | history | raw |
-rw-r--r-- | 1946 | multiplicity.ma | blob | history | raw |
-rw-r--r-- | 2485 | parallel_computation.ma | blob | history | raw |
-rw-r--r-- | 6337 | parallel_reduction.ma | blob | history | raw |
-rw-r--r-- | 6481 | relocating_substitution.ma | blob | history | raw |
-rw-r--r-- | 10085 | relocation.ma | blob | history | raw |
-rw-r--r-- | 3313 | sequential_computation.ma | blob | history | raw |
-rw-r--r-- | 4186 | sequential_reduction.ma | blob | history | raw |
-rw-r--r-- | 1491 | size.ma | blob | history | raw |
-rw-r--r-- | 1510 | supercombinator.ma | blob | history | raw |
-rw-r--r-- | 3142 | term.ma | blob | history | raw |