drwxr-xr-x | .. | ||
-rwxr-xr-x | 111208 | class | blob | history | raw |
-rw-r--r-- | 238 | class.dcl | blob | history | raw |
-rw-r--r-- | 791 | class.icl | blob | history | raw |
-rwxr-xr-x | 111344 | deep | blob | history | raw |
-rw-r--r-- | 593 | deep.icl | blob | history | raw |
drwxr-xr-x | - | exist | tree | history |
-rw-r--r-- | 0 | expr.md | blob | history | raw |
-rwxr-xr-x | 111504 | gadt | blob | history | raw |
-rw-r--r-- | 736 | gadt.icl | blob | history | raw |
-rwxr-xr-x | 111216 | shallow | blob | history | raw |
-rw-r--r-- | 707 | shallow.icl | blob | history | raw |