• Jonas Kastberg Hinrichsen's avatar
    Squashed commit of the following: · 3f3cc43b
    Jonas Kastberg Hinrichsen authored
    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
    3f3cc43b
_CoqProject 582 Bytes