Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
— |
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. | ||
+ | |||