richmok··on A New Kind of Type SystemDiscussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764)
richmok··on Ask HN: I'm lost. Please helpAdamN, am in Nairobi and would love to chat concerning this. You can ping me on email mokua83ke [at] google's email service.