mirror of
https://github.com/grin-compiler/grin.git
synced 2024-08-17 09:50:43 +03:00
add type system note
This commit is contained in:
parent
689b82d73d
commit
53a88b3730
@ -72,3 +72,15 @@ eval q =
|
||||
update q w
|
||||
pure w
|
||||
```
|
||||
|
||||
# Notes
|
||||
|
||||
A builtin dependent type function should be enough for full GRIN expressivity.
|
||||
```
|
||||
prj :: Tag -> Int -> a
|
||||
```
|
||||
OR
|
||||
```
|
||||
prjNode :: {Node A, ..., Node Z} -> Tag -> Node Tag
|
||||
prjItem :: Node Tag -> Int -> a
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user