Proposals for the final syntax of interfaces implementations

I’m working on the interface implementations feature which was previously requested in this forum post and this GitHub issue, and I want to get feedback on the syntax that should be used for this feature.

Please vote on the GitHub issue using GitHub reactions.

Proposal #1: https://github.com/aeternity/aesophia/issues/307#issuecomment-964402775

Proposal #2: https://github.com/aeternity/aesophia/issues/307#issuecomment-964409621

Proposal #3: https://github.com/aeternity/aesophia/issues/307#issuecomment-964410004

Proposal by Ulf Norell: https://github.com/aeternity/aesophia/issues/307#issuecomment-964459473

If you have voted for Proposal #1, please also consider voting for Proposal #1.1 and Proposal #1.2.

If you have other proposals for the syntax please also add that as a GitHub comment on the issue linked above.

3 Likes

provided my feedback in the GitHub issue :slight_smile:

3 Likes

voted on proposals!

1 Like