Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
drawing_arrows_and_coding_functions [2016/10/15 14:23]
nikolaj
drawing_arrows_and_coding_functions [2016/10/15 14:42] (current)
nikolaj
Line 12: Line 12:
 == The type Type == == The type Type ==
 We draw graph pictures that display parts of our type system. ​ We draw graph pictures that display parts of our type system. ​
 +
 +>Make a more elaborate picture with a circle and some element, and an outer circle for Type.
 +>Later, draw a similar picture wiht a function (+ element wise maps of it)
 +>
 +
 E.g. the type of integers are part of our system and may we draw the vertex E.g. the type of integers are part of our system and may we draw the vertex
 $$ $$
Link to graph
Log In
Improvements of the human condition