#91: Package ForSyDe
-----------------------------------------------------+----------------------
Reporter: shakthimaan | Owner: shakthimaan
Type: task | Status: new
Priority: major | Milestone: Fedora 13
Component: FEL | Version: devel
Keywords: formal method, hardware design, haskell |
-----------------------------------------------------+----------------------
Package ForSyDe (Haskell) by Prof. Ingo Sander from kth.se.
http://hackage.haskell.org/package/ForSyDe
http://www.ict.kth.se/forsyde/
--
Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/91>
Fedora Electronic Lab <https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.
_______________________________________________
Fedora-electronic-lab-list mailing list
Fedora-electronic-lab-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-electronic-lab-list
