directory /lib/ur/ @ 1783:5bc4fbf9c0fe

name size permissions
[up] drwxr-xr-x
file basis.urs 39714 -rw-r--r--
file char.ur 456 -rw-r--r--
file char.urs 391 -rw-r--r--
file list.ur 11291 -rw-r--r--
file list.urs 4053 -rw-r--r--
file listPair.ur 942 -rw-r--r--
file listPair.urs 355 -rw-r--r--
file monad.ur 5520 -rw-r--r--
file monad.urs 3744 -rw-r--r--
file option.ur 1285 -rw-r--r--
file option.urs 393 -rw-r--r--
file string.ur 2227 -rw-r--r--
file string.urs 1063 -rw-r--r--
file top.ur 15448 -rw-r--r--
file top.urs 11923 -rw-r--r--