1
0
Fork 0
main
Sebastian Steger 2025-08-20 15:03:01 +02:00
parent 6e1083ad56
commit 9fda964891
1 changed files with 8 additions and 0 deletions

View File

@ -54,6 +54,14 @@ Expression | Type (:t) | Value | Comment
## Tuples
Expression | Type (:t) | Value | Comment
--- | --- | --- | --------
`(1, 2)` | `(Num a, Num b) => (a, b)` | `(1, 2)` |
`(1, "hello", True)` | `(Num a => (a, String, Bool)` | `(1, "hello", True)` |
`fst (1, 2)` | `Num a => a` | `1` |
`snd (1, 2)` | `Num b => b` | `2` |
`(,) 1 2` | `Num a => a -> a -> (a, a)` | `(1, 2)` |
## Strings
## Control Structures