From: Michael Andreen <harv@ruin.nu>
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/?a=commitdiff_plain;ds=sidebyside;h=bce3d3b3c8b9f91f27000149fbd04f3a7f14800e;hp=bce3d3b3c8b9f91f27000149fbd04f3a7f14800e;p=icfp05.git

priority queue instead of a vector which is later sorted
---