2 repositories on SrcLog
An effect system based on type classes, written in Haskell.
A region-based resource effect for the effectful ecosystem.