[fedora-electronic-lab] [Fedora Electronic Lab] #91: Package ForSyDe

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



#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

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Forum]     [KDE Users]

  Powered by Linux