directory /lib/ur/ @ 1094:db52c32dbe42

name size permissions
[up] drwxr-xr-x
file basis.urs 28870 -rw-r--r--
file char.ur 409 -rw-r--r--
file char.urs 346 -rw-r--r--
file list.ur 6193 -rw-r--r--
file list.urs 2145 -rw-r--r--
file listPair.ur 942 -rw-r--r--
file listPair.urs 355 -rw-r--r--
file monad.ur 3072 -rw-r--r--
file monad.urs 2077 -rw-r--r--
file option.ur 1036 -rw-r--r--
file option.urs 372 -rw-r--r--
file string.ur 980 -rw-r--r--
file string.urs 506 -rw-r--r--
file top.ur 12432 -rw-r--r--
file top.urs 8585 -rw-r--r--