DLists: a Haskell list type supporting O(1) append and snoc Build instructions: $ runhaskell Setup.lhs configure --prefix=$HOME $ runhaskell Setup.lhs build $ runhaskell Setup.lhs install Running the testsuite: $ cd tests && runhaskell Properties.hs $ cd tests && ghc --make -O2 -ddump-simpl-stats Properties.hs -o prop && ./prop Author: Don Stewart http://www.cse.unsw.edu.au/~dons