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

Update the documentation and changelog to include polymorphism #887

Merged
ghallak merged 10 commits from ghallak/polymorphism-docs into master 2022-07-26 01:47:17 +09:00
Conversation 16 Commits 10 Files Changed 2 +150

10 Commits

Author SHA1 Message Date
Gaith Hallak
136f96a422
Update docs/sophia_features.md 
Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
 2022-07-25 20:31:28 +04:00
Gaith Hallak
2ea56ce7ef Note about type variance 2022-07-25 01:10:00 +04:00
Gaith Hallak
6c8715ea74 Formatting for subtyping rules 2022-07-25 00:38:44 +04:00
Gaith Hallak
41c0609837 Change "the same type" to "compatible types" 2022-07-25 00:31:36 +04:00
Gaith Hallak
2dd461b2b0
Update docs/sophia_features.md 
Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
 2022-07-25 00:28:58 +04:00
Gaith Hallak
66f56a0eb2
Update docs/sophia_features.md 
Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
 2022-07-07 20:30:07 +04:00
Gaith Hallak
1514cb2949
Update docs/sophia_features.md 
Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
 2022-07-07 20:28:59 +04:00
Gaith Hallak
d59498914b Docs: first part (subtyping) 2022-06-27 19:13:16 +04:00
Gaith Hallak
9163718a47 Docs: first part 2022-06-26 16:29:18 +04:00
Gaith Hallak
4a652d53c1 Update CHANGELOG 2022-06-17 14:14:18 +04:00