directory /lib/ur/ @ 844:74a1e3bdf430

name size permissions
[up] drwxr-xr-x
file basis.urs 24721 -rw-r--r--
file list.ur 4159 -rw-r--r--
file list.urs 1354 -rw-r--r--
file listPair.ur 562 -rw-r--r--
file listPair.urs 215 -rw-r--r--
file monad.ur 303 -rw-r--r--
file monad.urs 108 -rw-r--r--
file option.ur 200 -rw-r--r--
file option.urs 136 -rw-r--r--
file string.ur 796 -rw-r--r--
file string.urs 441 -rw-r--r--
file top.ur 8537 -rw-r--r--
file top.urs 5774 -rw-r--r--