File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
11:29, 28 July 2008 | Categories and Computer Science.gif (file) | 3 KB | DekuDekuplex | Reduced-size image of cover of _Categories and Computer Science,_ by R. F. C. Walters. | 2 | |
22:56, 1 March 2009 | Chartvs.png (file) | 3 KB | DonStewart | 3 | ||
10:09, 20 May 2007 | Chat server screenshot.png (file) | 42 KB | Int-e | Screenshot of Cat Server in action | 1 | |
12:38, 17 November 2011 | CheatSheet.pdf (file) | 162 KB | Arthur | 1 | ||
19:45, 6 December 2010 | Check-advance.pdf (file) | 26 KB | Ipaqyxewawu | 1 | ||
17:34, 7 December 2010 | Check-cashing.pdf (file) | 39 KB | Ipaqyxewawu | 1 | ||
12:28, 14 February 2010 | Chlor affine map.png (file) | 13 KB | Lenny222 | 1 | ||
21:38, 13 March 2010 | Chlor boxes.png (file) | 23 KB | Lenny222 | 6 | ||
16:28, 22 March 2010 | Chlor clipping.png (file) | 8 KB | Lenny222 | 4 | ||
13:00, 29 January 2010 | Chlor dash patterns.png (file) | 953 bytes | Lenny222 | 1 | ||
20:34, 23 March 2010 | Chlor example1.png (file) | 47 KB | Lenny222 | 1 | ||
17:18, 6 February 2010 | Chlor line chart.png (file) | 16 KB | Lenny222 | 6 | ||
15:23, 21 March 2010 | Chlor shapes.png (file) | 17 KB | Lenny222 | 4 | ||
16:39, 19 July 2007 | Circum-op12cl-34.png (file) | 3 KB | EndreyMark | Again | 2 | |
09:03, 6 September 2014 | Clash-presentation.pdf (file) | 1.1 MB | CBaaij | 1 | ||
07:46, 23 December 2008 | ClassyHLogo.png (file) | 51 KB | FritzRuehr | The "classy Haskll logo" by Fritz Ruehr | 1 | |
22:29, 21 October 2009 | CoConeDefDiagram.png (file) | 8 KB | Michiexile | 1 | ||
22:29, 21 October 2009 | CoConeMorphismDiagram.png (file) | 7 KB | Michiexile | 1 | ||
18:39, 17 November 2009 | CoalgebraMorphism.png (file) | 9 KB | Michiexile | 1 | ||
20:30, 3 October 2007 | Codebreaker.png (file) | 6 KB | Wolfgang Jeltsch | screenshot of the Grapefruit example “Codebreaker” | 1 | |
19:21, 30 March 2018 | Codeworld.png (file) | 37 KB | Drb226 | 1 | ||
22:31, 21 October 2009 | CoequalizerCoCone.png (file) | 6 KB | Michiexile | 1 | ||
22:29, 7 December 2010 | Collateral.pdf (file) | 52 KB | Iqukujybyku | 1 | ||
12:25, 6 December 2012 | Colored ghci prompt.png (file) | 6 KB | Blackout | GHCi prompt colored using ANSI terminal codes | 1 | |
07:06, 14 December 2006 | Colour-ghci.png (file) | 10 KB | DonStewart | sketch for colour ghci | 1 | |
07:15, 14 December 2006 | Coloured-error.png (file) | 33 KB | DonStewart | coloured errors | 1 | |
15:19, 30 September 2021 | Combinators.pdf (file) | 162 KB | Ansalec | Combinatorii de analizoare sintactice – instrumentele lingviştilor pentru învăţarea asistată de calculator a limbilor străine | 1 | |
06:34, 24 March 2011 | Combinators.ps (file) | 957 KB | Ha$kell | Haskell parser combinators can be used as tools for e-learninmg. Target: interactive foreign languages manuals. | 1 | |
19:20, 22 April 2009 | ComboP.png (file) | 163 KB | Feuerbach | comboP layout | 1 | |
03:11, 8 March 2008 | Compilelog.jpg (file) | 69 KB | DimitryGolubovsky | 1 | ||
23:38, 2 December 2006 | Computational Oriented Matroids.jpg (file) | 7 KB | DonStewart | Smaller | 2 | |
14:40, 27 January 2015 | Comserve.ps.gz (file) | 95 KB | Henk-Jan van Tuyl | Describes the mapping between Haskell and IDL. | 1 | |
22:27, 21 October 2009 | ConeDefDiagram.png (file) | 8 KB | Michiexile | 1 | ||
22:28, 21 October 2009 | ConeMorphismDiagram.png (file) | 7 KB | Michiexile | 1 | ||
00:53, 23 January 2010 | Configurare.bmp.bmp (file) | 403 KB | Ha$kell | Configuring TotalEdit and the DSL Rodin in order to work together. | 1 | |
11:02, 14 February 2010 | Configurare.jpg (file) | 35 KB | Ha$kell | How to configure Total Edit from Coder Tools to integrate it with an pther languge.Here the interpreter of the DSL used is called: Main.exe and is stored in a specific directory: c:\Rodin. But you can change it. The $FileName will be replaced by Total Edi | 1 | |
14:56, 1 December 2007 | ContTest.jpg (file) | 57 KB | DimitryGolubovsky | Replaced the browser screenshot as programming style changed back to plain CPS, and messagebox test was added. | 2 | |
11:43, 11 July 2007 | Context-1X-23.png (file) | 2 KB | EndreyMark | Image of context ((1 @) (3 4)) Made vy own hands with LaTeX and qtree package | 1 | |
13:44, 11 July 2007 | Context-1X-34.png (file) | 2 KB | EndreyMark | Again | 4 | |
11:36, 11 July 2007 | Context-1 -23.png (file) | 2 KB | EndreyMark | Image of context ((1 @) (3 4)) Made by own hads, with LaTeX ans qtree package | 1 | |
13:38, 11 July 2007 | Context-X-34.png (file) | 2 KB | EndreyMark | Mounting point is colored | 3 | |
19:30, 24 May 2006 | Continuation.hs (file) | 1 KB | EndreyMark | Showing examples, where the type of the argument of the discussed function and type of the argument of the continuation do not coincide: CPS-ized length | 2 | |
12:07, 27 July 2011 | Coperta1.gif (file) | 14 KB | Ha$kell | 3 | ||
20:52, 18 September 2008 | Coperta5.jpg (file) | 18 KB | Ha$kell | The first version of the cover of the book. (Practical monadic interpretation - by Dan Popa). As it was proposed by the editor. (Just a part of the whole image.) | 1 | |
15:17, 28 August 2008 | Cuvinte cheie si operatori-Rodin-Ro-V06-28-8-2008.txt (file) | 939 bytes | Ha$kell | (en) keywords, syntax for RodinV06-Ro (ro) cuvinte cheie si sintaxa limbajului pseudocod Rodin, versiuneaRodinV06-Ro | 1 | |
09:57, 24 April 2012 | DHD-wouter.pdf (file) | 897 KB | SeanLeather | Wouter Swierstra's slides from his DHD talk. | 1 | |
10:54, 7 May 2009 | DHUG2.jpg (file) | 69 KB | Dreixel | Picture of the first Dutch Haskell Users Group meeting. | 1 | |
11:36, 14 February 2010 | DRodin.jpg (file) | 35 KB | Ha$kell | Configuring Total Edit to work with a language stored on drive d: instead of c: | 1 | |
01:52, 3 December 2007 | D xmonad clear.jpg (file) | 272 KB | Deifl | 1 | ||
01:51, 3 December 2007 | D xmonad full.jpg (file) | 510 KB | Deifl | 1 |