Pinned Loading

1. pomelo pomelo Public

   The Pomelo temporal programming library

   Haskell 10 1

2. incremental-computing incremental-computing Public

   Incremental computing

   Haskell 8

3. order-maintenance order-maintenance Public

   Algorithms for the order maintenance problem with a safe, yet flexible interface

   Haskell 1

4. order-maintenance-correctness order-maintenance-correctness Public

   Proof of correctness of the Jeltsch–Firsov order maintenance algorithm