Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
haskell_type_system [2015/04/21 16:37] nikolaj |
haskell_type_system [2015/10/10 20:18] nikolaj |
||
---|---|---|---|
Line 28: | Line 28: | ||
== Function types == | == Function types == | ||
Type theoretically (on the kind level): | Type theoretically (on the kind level): | ||
- | ${\large\frac{a,b\ :\ \star}{a\to b\ :\ \star}}$ | + | ${\large\frac{a\ :\ \star \hspace{.5cm} b\ :\ \star}{a\to b\ :\ \star}}$ |
Haskell syntax: | Haskell syntax: | ||
Line 36: | Line 36: | ||
Type theoretically: | Type theoretically: | ||
- | ${\large\frac{x\ :\ a\hspace{.5cm} g\ :\ b}{\lambda x.g\ :\ a\to b}}$ | + | ${\large\frac{x\ :\ a \hspace{.5cm} g\ :\ b}{\lambda x.g\ :\ a\to b}}$ |
<code/Haskell> | <code/Haskell> |