]>
-rw-r--r-- | 1194 | apply_2.ma | blob | raw |
-rw-r--r-- | 1205 | basic_2.ma | blob | raw |
-rw-r--r-- | 1368 | circledE_1.ma | blob | raw |
-rw-r--r-- | 1197 | cocompose_2.ma | blob | raw |
-rw-r--r-- | 1157 | diamond_0.ma | blob | raw |
-rw-r--r-- | 1183 | downarrow_1.ma | blob | raw |
-rw-r--r-- | 1416 | downspoon_2.ma | blob | raw |
-rw-r--r-- | 1509 | downspoonstar_3.ma | blob | raw |
-rw-r--r-- | 1182 | droppred_1.ma | blob | raw |
-rw-r--r-- | 1208 | droppreds_2.ma | blob | raw |
-rw-r--r-- | 1174 | identity_0.ma | blob | raw |
-rw-r--r-- | 1161 | infinity_0.ma | blob | raw |
-rw-r--r-- | 1150 | no_0.ma | blob | raw |
-rw-r--r-- | 1164 | onezero_0.ma | blob | raw |
-rw-r--r-- | 1446 | oplusright_3.ma | blob | raw |
-rw-r--r-- | 1231 | semicolon_3.ma | blob | raw |
-rw-r--r-- | 1251 | tuple_4.ma | blob | raw |
-rw-r--r-- | 1194 | uniform_1.ma | blob | raw |
-rw-r--r-- | 1182 | uparrow_1.ma | blob | raw |
-rw-r--r-- | 1210 | uparrowstar_2.ma | blob | raw |
-rw-r--r-- | 1190 | updownarrowstar_1.ma | blob | raw |
-rw-r--r-- | 1181 | upspoon_1.ma | blob | raw |
-rw-r--r-- | 1210 | upspoonstar_2.ma | blob | raw |
-rw-r--r-- | 1151 | yes_0.ma | blob | raw |
-rw-r--r-- | 1164 | zeroone_0.ma | blob | raw |
-rw-r--r-- | 1165 | zerozero_0.ma | blob | raw |