http://www-ps.informatik.uni-kiel.de/currywiki/ Sat, 21 Nov 2009 00:50:15 +0100 FeedCreator 1.7.2-ppt DokuWiki http://www-ps.informatik.uni-kiel.de/currywiki/lib/images/favicon.ico http://www-ps.informatik.uni-kiel.de/currywiki/ http://www-ps.informatik.uni-kiel.de/currywiki/future/overlapping?rev=1221739038&do=diff Sebastian recommended an ICFP paper to me which is called “Pattern Minimization Problems over Recursive Data Types”. Some time ago I wrote a Curry program with non-trivial case pattern matching. This program transformed a relation algebraic expression into another one. There were quite some cases I had to distinguish and I were too lazy to write non-overlapping patterns. Therefore I used a case expression with its top to bottom behaviour. Unfortunately compiling the module took ages and I as… Jan Christiansen future Thu, 18 Sep 2008 13:57:18 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/icode?rev=1221140300&do=diff Interactive Curry Observation DEbugger (iCODE) is a tool to support programmers stepping on the lazy evaluation order of expressions at the source code level. Every executed expression is covered in a layout of the source code and its runtime value can be represented to the user. Parisa Haj Sadeghi tools Thu, 11 Sep 2008 15:38:20 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/navigation?rev=1220895155&do=diff Implementations * PAKCS * KiCS * MCC Documentation * Curry Report * Tutorial * Mailing List Tools * COOSy * CurryBrowser * CurryDoc * CurryTest * B.I.O. Debugger * iCODE * EasyCheck * CyCoTest Jan Christiansen Mon, 08 Sep 2008 19:32:35 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/logo?rev=1220880637&do=diff This side shows a collection of proposals for a new Curry logo. [ pdf] [ pdf] [ pdf] [ pdf] [ pdf] Jan Christiansen Mon, 08 Sep 2008 15:30:37 +0100