directory /lib/ur/ @ 900:ed381288ce9a

name size permissions
[up] drwxr-xr-x
file basis.urs 26128 -rw-r--r--
file list.ur 5496 -rw-r--r--
file list.urs 1806 -rw-r--r--
file listPair.ur 942 -rw-r--r--
file listPair.urs 355 -rw-r--r--
file monad.ur 384 -rw-r--r--
file monad.urs 198 -rw-r--r--
file option.ur 464 -rw-r--r--
file option.urs 246 -rw-r--r--
file string.ur 796 -rw-r--r--
file string.urs 441 -rw-r--r--
file top.ur 9175 -rw-r--r--
file top.urs 6151 -rw-r--r--