This website requires JavaScript.
Explore
Help
Sign In
QPQ-AG
/
sophia
Watch
10
Star
0
Fork
0
You've already forked sophia
Code
Issues
41
Pull Requests
5
Actions
Packages
Projects
Releases
16
Wiki
Activity
Unify typesigs when implementing interface funs
#960
Merged
ghallak
merged 1 commits from
ghallak/polymorphism-bugfix
into
master
2023-07-17 19:32:12 +09:00
Conversation
3
Commits
1
Files Changed
3
+18
-10
1 Commits
Author
SHA1
Message
Date
Gaith Hallak
90ded1b4bc
Unify typesigs when implementing interface funs
2023-07-06 17:34:48 +04:00