dcastro/linear-locks

`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.

语言：Haskell · GitHub 星标：23 · Fork：0

话题：concurrency · deadlockprevention · haskell · linear-types

在 GitHub 上查看原仓库