]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 6854 | arity.ma | blob | history | raw |
-rw-r--r-- | 10196 | arity_eval.ma | blob | history | raw |
-rw-r--r-- | 4660 | ext.ma | blob | history | raw |
-rw-r--r-- | 3258 | ext_lambda.ma | blob | history | raw |
-rw-r--r-- | 3029 | lambda_notation.ma | blob | history | raw |
-rw-r--r-- | 16934 | par_reduction.ma | blob | history | raw |
-rw-r--r-- | 5441 | rc_eval.ma | blob | history | raw |
-rw-r--r-- | 2485 | rc_hsat.ma | blob | history | raw |
-rw-r--r-- | 4860 | rc_sat.ma | blob | history | raw |
-rw-r--r-- | 6489 | reduction.ma | blob | history | raw |
-rw-r--r-- | 2290 | sn.ma | blob | history | raw |
-rw-r--r-- | 10241 | subst.ma | blob | history | raw |
-rw-r--r-- | 4389 | subterms.ma | blob | history | raw |
-rw-r--r-- | 1195 | terms.ma | blob | history | raw |
-rw-r--r-- | 6962 | types.ma | blob | history | raw |