andrisaar/transactional-memory

Various things about transactional memory

Playground for various things related to transactional memory.

impl : a Haskell implementation of a couple of TM algorithms

agda : Correctness proof for a lazy TM algorithm, formalized in Agda.