Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

Odkaz na výstup diff

fp:odkazy [2011/05/08 11:05] (aktuální)
petr vytvořeno
Řádek 1: Řádek 1:
 +====== Zajímavé odkazy ======
 +  * IDE pro Haskell (případně jiné funkcionální jazyky):
 +    * [[http://www.leksah.org/|Leksah]]
 +    * [[http://eclipsefp.sourceforge.net/|EclipseFP]]
 +  * [[http://donsbot.wordpress.com/2010/08/17/practical-haskell/|Practical Haskell: scripting with types]]
 +  * [[http://cheatsheet.codeslower.com/|Haskell cheatsheet]]
 +  * [[http://halvm.org|Haskell Lightweight Virtual Machine (HaLVM)]] - viz. [[http://article.gmane.org/gmane.comp.lang.haskell.general/18328|zprava od Galois, Inc.]]
 +  * Dokazovače
 +    * [[http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers|Theorem provers]] - přehledová stránka na Haskell Wiki s odkazy na Agdu, Djinn atd.
 +