File Manager

Name Type Size Modified Permissions Owner Group Action
..Folder-2024-09-21 19:48:35rwxr-xr-xrootroot
analyze.goFile134.38 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
canonicalize.goFile4.70 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
compile-glil.goFile61.66 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
cse.goFile43.74 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
debug.goFile14.77 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
effects.goFile42.52 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
fix-letrec.goFile19.34 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
inline.goFile793.00 B2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
optimize.goFile1.98 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
peval.goFile175.21 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
primitives.goFile45.79 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete
spec.goFile1.77 KB2019-10-13 01:10:45rw-r--r--rootrootEdit RenameDownload Delete