That brings back memories. We used to play around with different prefix adder topologies in school many years ago, implementing them in a Haskell-based HDL called LAVA :)