directory /lib/ur/ @ 1261:04e9885cbe56

name size permissions
[up] drwxr-xr-x
file basis.urs 31581 -rw-r--r--
file char.ur 456 -rw-r--r--
file char.urs 391 -rw-r--r--
file incl.ur 2236 -rw-r--r--
file incl.urs 814 -rw-r--r--
file list.ur 7413 -rw-r--r--
file list.urs 2846 -rw-r--r--
file listPair.ur 942 -rw-r--r--
file listPair.urs 355 -rw-r--r--
file mem.ur 2298 -rw-r--r--
file mem.urs 644 -rw-r--r--
file monad.ur 4586 -rw-r--r--
file monad.urs 3029 -rw-r--r--
file option.ur 1036 -rw-r--r--
file option.urs 372 -rw-r--r--
file string.ur 1477 -rw-r--r--
file string.urs 685 -rw-r--r--
file top.ur 13720 -rw-r--r--
file top.urs 9602 -rw-r--r--