Uploads by EndreyMark
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 17:05, 24 March 2006 | Quot-strat.png (file) |  |
31 KB | Scaling the image smaller | 3 |
| 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 |
| 13:33, 11 June 2006 | Lucid.lhs (file) | |
840 bytes | Mimick dataflow programming in a way as approached in Lucid language | 1 |
| 13:35, 11 June 2006 | Test.lhs (file) | |
445 bytes | Testing Lucid prograaming language implementation by straightforward examples | 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:11, 3 October 2006 | Natural transformation.tex (file) |  |
312 bytes | Source code for commutative diagram image defining natural transformation | 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 |
| 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 |
| 13:38, 11 July 2007 | Context-X-34.png (file) |  |
2 KB | Mounting point is colored | 3 |
| 13:44, 11 July 2007 | Context-1X-34.png (file) |  |
2 KB | Again | 4 |
| 14:05, 11 July 2007 | Top.png (file) |  |
777 bytes | Image of top context Made by own hands, with LaTeX and GIMP | 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 |
| 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 |
| 16:39, 19 July 2007 | Circum-op12cl-34.png (file) |  |
3 KB | Again | 2 |
| 17:18, 19 July 2007 | Mount-op12cl-34.png (file) |  |
3 KB | Again | 9 |
