[fedora-electronic-lab] [Fedora Electronic Lab] #91: Package ForSyDe
Fedora Electronic Lab
trac at fedorahosted.org
Mon Dec 28 18:48:12 UTC 2009
#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.
More information about the Fedora-electronic-lab-list
mailing list