Thu, 08 Apr 2010 14:18:38 +0200 Christian Urban clarified comment about distinct lists in th efuture work section
Thu, 08 Apr 2010 13:04:49 +0200 Christian Urban tuned type-schemes example
Thu, 08 Apr 2010 11:52:05 +0200 Christian Urban updated (comment about weirdo example)
Thu, 08 Apr 2010 11:50:30 +0200 Christian Urban check whether the "weirdo" example from the binding bestiary works with shallow binders
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip