Formal System Design (ForSyDe) from KTH Royal Institute of Technology, Sweden is now available for Fedora. It is a methodology with the objective to move system design (System on Chip, Hardware and Software systems) to a higher level of abstraction, and to bridge the abstraction gap by transformational design refinement. You can install it using:

$ sudo yum install ghc-ForSyDe

It is the 100th Haskell package in Fedora.