A resource allocation system written in Haskell.