]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1183 | cons_2.ma | blob | history | raw |
-rw-r--r-- | 1228 | cons_3.ma | blob | history | raw |
-rw-r--r-- | 1161 | infinity_0.ma | blob | history | raw |
-rw-r--r-- | 1153 | nil_0.ma | blob | history | raw |
-rw-r--r-- | 1150 | no_0.ma | blob | history | raw |
-rw-r--r-- | 1164 | onezero_0.ma | blob | history | raw |
-rw-r--r-- | 1184 | successor_1.ma | blob | history | raw |
-rw-r--r-- | 1251 | tuple_4.ma | blob | history | raw |
-rw-r--r-- | 1151 | yes_0.ma | blob | history | raw |
-rw-r--r-- | 1164 | zeroone_0.ma | blob | history | raw |
-rw-r--r-- | 1165 | zerozero_0.ma | blob | history | raw |