directory /lib/ur/ @ 2280:985c8016b592

name size permissions
[up] drwxr-xr-x
file basis.urs 47406 -rw-r--r--
file char.ur 456 -rw-r--r--
file char.urs 391 -rw-r--r--
file datetime.ur 4906 -rw-r--r--
file datetime.urs 937 -rw-r--r--
file list.ur 11753 -rw-r--r--
file list.urs 4216 -rw-r--r--
file listPair.ur 1247 -rw-r--r--
file listPair.urs 460 -rw-r--r--
file monad.ur 5985 -rw-r--r--
file monad.urs 4087 -rw-r--r--
file option.ur 1425 -rw-r--r--
file option.urs 437 -rw-r--r--
file string.ur 2779 -rw-r--r--
file string.urs 1082 -rw-r--r--
file top.ur 16174 -rw-r--r--
file top.urs 12619 -rw-r--r--