Differences
This shows you the differences between two versions of the page.
| 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] 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 | ||
| $$ | $$ | ||
