File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
Date Name Thumbnail Size Description Versions
17:18, 19 July 2007 Mount-op12cl-34.png (file) 3 KB Again 9
16:39, 19 July 2007 Circum-op12cl-34.png (file) 3 KB Again 2
12:56, 15 July 2007 Path-1X-34.png (file) 2 KB A path-like, more deconstructed representation of the context of a tree zipper. Made by own hands with GIMP and LaTeX's qtree package 1
14:08, 11 July 2007 Tree-12-34.png (file) 2 KB Again, remove coloring from image of tree, because it makes the consequent coloring convention confusing 3
14:05, 11 July 2007 Top.png (file) 777 bytes Image of top context Made by own hands, with LaTeX and GIMP 1
13:44, 11 July 2007 Context-1X-34.png (file) 2 KB Again 4
13:38, 11 July 2007 Context-X-34.png (file) 2 KB Mounting point is colored 3
11:43, 11 July 2007 Context-1X-23.png (file) 2 KB Image of context ((1 @) (3 4)) Made vy own hands with LaTeX and qtree package 1
11:36, 11 July 2007 Context-1 -23.png (file) 2 KB Image of context ((1 @) (3 4)) Made by own hads, with LaTeX ans qtree package 1
13:11, 3 October 2006 Natural transformation.tex (file) 312 bytes Source code for commutative diagram image defining natural transformation 1
13:07, 3 October 2006 Natural transformation.png (file) 5 KB Commutative diagram used to illustrate the definition of notion ``natural transfomration'' 1
13:35, 11 June 2006 Test.lhs (file) 445 bytes Testing Lucid prograaming language implementation by straightforward examples 1
13:33, 11 June 2006 Lucid.lhs (file) 840 bytes Mimick dataflow programming in a way as approached in Lucid language 1
19:30, 24 May 2006 Continuation.hs (file) 1 KB 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
17:05, 24 March 2006 Quot-strat.png (file) 31 KB Scaling the image smaller 3