From: Michael Andreen Date: Sun, 26 Jun 2005 22:50:50 +0000 (+0000) Subject: priority queue instead of a vector which is later sorted X-Git-Url: https://ruin.nu/git/?p=icfp05.git;a=commitdiff_plain;h=bce3d3b3c8b9f91f27000149fbd04f3a7f14800e;hp=bce3d3b3c8b9f91f27000149fbd04f3a7f14800e priority queue instead of a vector which is later sorted ---