QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Update Sophia syntax docs to include missing information about existing syntax #896

Merged
ghallak merged 9 commits from ghallak/docs-update into master 2022-08-04 05:25:42 +09:00
Conversation 3 Commits 9 Files Changed 2 +28 -10

9 Commits

Author SHA1 Message Date
Gaith Hallak
a589adeafe Add polymorphism implmented interface syntax 2022-08-03 15:10:57 +04:00
Gaith Hallak
1de552d713 Fix typos 2022-08-03 14:52:32 +04:00
Gaith Hallak
edd9348fb1 Add assign patter 2022-08-03 14:51:52 +04:00
Gaith Hallak
0222c9eda0 Add '|>' binary operator to aeso_syntax 2022-08-03 14:35:51 +04:00
Gaith Hallak
e6159b8014 Add Using 2022-08-03 14:12:58 +04:00
Gaith Hallak
47d027c73f Change '=' to '::=' in GuardedDef 2022-08-03 14:11:16 +04:00
Gaith Hallak
7623cc2f35 Add guarded case for switches 2022-08-03 00:26:06 +04:00
Gaith Hallak
c4061701b0 Use Sep1 instead of Sep for the GuardedDef 2022-08-03 00:23:56 +04:00
Gaith Hallak
6ff8463db4 Add main contract, contract interface, and guards to the docs syntax 2022-08-03 00:10:44 +04:00