directory /lib/ur/ @ 1051:731e6aa6655a

name size permissions
[up] drwxr-xr-x
file basis.urs 26925 -rw-r--r--
file list.ur 6109 -rw-r--r--
file list.urs 2073 -rw-r--r--
file listPair.ur 942 -rw-r--r--
file listPair.urs 355 -rw-r--r--
file monad.ur 3149 -rw-r--r--
file monad.urs 2072 -rw-r--r--
file option.ur 946 -rw-r--r--
file option.urs 328 -rw-r--r--
file string.ur 818 -rw-r--r--
file string.urs 462 -rw-r--r--
file top.ur 11600 -rw-r--r--
file top.urs 7789 -rw-r--r--