Build Status:
- Travis:
- Jenkins:
This repository is the home of the LVish Haskell library for programming with monotonically-growing concurrent data structures, also known as LVars. More information can be found along with the main library, which is found under haskell/lvish.
(Looking for the data-race detector that accompanied our FHPC '13 paper? It's here. Looking for PLT Redex models of LVar calculi? They're here.)