pointfree.net everything must go.

a few linux hacks in this section.
Access: (0644/-rw-r--r--) Uid: ( 1000/ andreas) Gid: ( 100/ users) Access: 2012-10-16 19:00:31.704685055 -0400 Modify: 2012-09-09 12:50:52.565671468 -0400