directory / @ 131:d205ff1e406f InfiniteDeltaWithMonad

name size permissions
dir. agda/ drwxr-xr-x
file .hgignore 33 -rw-r--r--
file .hgtags 106 -rw-r--r--
file delta.hs 5621 -rw-r--r--