category theory centos documentation free software functional programming gnu haskell laravel streaming processing