#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Comment (by shakthimaan):
parameterized-data is now available in Fedora. Install it using:
$ sudo yum install ghc-parameterized-data
A tutorial is available at:
http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec
All dependencies have now been met. ForSyDe is next!