cass-4.0.0 ---------- Version 4.0.0 Author Michael Hanus Synopsis CASS: the Curry Analysis Server System Category Analysis Dependencies base >= 3.0.0, < 4.0.0 cass-analysis >= 4.0.0, < 5.0.0 containers >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 io-extra >= 3.0.0, < 4.0.0 json >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 propertyfile >= 3.0.0, < 4.0.0 redblacktree >= 3.0.0, < 4.0.0 rw-data >= 1.0.0 scc >= 3.0.0, < 4.0.0 socket >= 3.0.0, < 4.0.0 time >= 3.0.0, < 4.0.0 xml >= 3.0.0, < 4.0.0 Executable Name cass Main module CASS.Main Options kics2: :set rts -T kmcc: :set args +RTS -T -RTS Config module CASS.PackageConfig Documentation Directory docs Main file main.tex Source Git https://github.com/curry-packages/cass.git@v4.0.0 License BSD-3-Clause License file LICENSE