The ForSyDe Web Site is Growing

We conclude a very busy and intense year, 2018, with announcing some new web content which has finally been compiled together or migrated from old repositories. We are still in the (long) process of exposing and documenting our tools and methods better, and the progress can only done in “baby steps” due to the ruthless workloads here in academia. Nevertheless, we proudly present that:

New Public Releases

As of recent tool maintenance, we have published the following Haskell packages on HackageDB: