Pinned Loading

1. HasChor HasChor Public

   Functional choreographic programming in Haskell

   Haskell 90 15

2. cut cut Public

   Cut elimination for intuitionistic propositional logic and its applications.

   Agda 3

3. vc-hb-iso vc-hb-iso Public

   Proof that vector clocks are isomorphic to the happens-before relation.

   Agda 2

4. ml-type-inference ml-type-inference Public

   ML-style type inference in Prolog

   Prolog 4