]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 4949 | ext.ma | blob | history | raw |
-rw-r--r-- | 1705 | lambda_notation.ma | blob | history | raw |
-rw-r--r-- | 5969 | rc_eval.ma | blob | history | raw |
-rw-r--r-- | 4806 | rc_sat.ma | blob | history | raw |
-rw-r--r-- | 2290 | sn.ma | blob | history | raw |
-rw-r--r-- | 7753 | subst.ma | blob | history | raw |
-rw-r--r-- | 6848 | types.ma | blob | history | raw |