Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 69 | logplain |
d--------- | linking | 477 | logplain |
d--------- | prog001 | 320 | logplain |
d--------- | prog002 | 319 | logplain |
d--------- | prog003 | 319 | logplain |
d--------- | prog004 | 73 | logplain |
d--------- | prog005 | 222 | logplain |
d--------- | prog006 | 301 | logplain |
d--------- | prog007 | 264 | logplain |
d--------- | prog008 | 163 | logplain |
d--------- | prog009 | 350 | logplain |
d--------- | prog010 | 205 | logplain |
d--------- | prog011 | 237 | logplain |
d--------- | prog012 | 334 | logplain |
d--------- | scripts | 11153 | logplain |
-rw-r--r-- | shell.hs | 284 | logplain |
d--------- | should_run | 681 | logplain |