Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | concat.mim | 224 | logplain |
-rw-r--r-- | curry.mim | 174 | logplain |
-rw-r--r-- | eachToEach.mim | 850 | logplain |
-rw-r--r-- | factorial.mim | 107 | logplain |
-rw-r--r-- | fib.mim | 216 | logplain |
-rw-r--r-- | partial.mim | 142 | logplain |
-rw-r--r-- | simplify.mim | 870 | logplain |