commit a96494d6
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Tue May 7 18:39:41 2019 +0200

    Finalized List sort example, and introduced list encodings

commit 1b9fc4de
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Fri May 3 15:28:21 2019 +0200

    WIP List sort example

commit 4ce5eb98
Author: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date:   Fri May 3 11:18:07 2019 +0200

    WIP list sort example