Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
drawing_arrows_and_coding_functions [2016/09/21 16:52] nikolaj |
drawing_arrows_and_coding_functions [2016/10/14 09:24] nikolaj [Guide] |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| == What will eventually be used here == | == What will eventually be used here == | ||
| + | >move to former page | ||
| Four languages: | Four languages: | ||
| Line 26: | Line 27: | ||
| - FOL/SOL | - FOL/SOL | ||
| - | === Intuitive introductory example === | + | === Type system === |
| + | A main part of a type system is a collection of names that stand for so called types. We will draw a lot of simple pictures with those types "lying around". | ||
| + | |||
| + | >do int and maybe string | ||
| + | |||
| + | == Intuitive introductory example == | ||
| Here some type judgements and also some drawings. | Here some type judgements and also some drawings. | ||
