Uploads by EndreyMark
Jump to navigation
Jump to search
This special page shows all uploaded files.
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 |