Skip to content

Use concepts ++#16

Merged
joelhoisko merged 21 commits intomasterfrom
use-concepts
Aug 31, 2020
Merged

Use concepts ++#16
joelhoisko merged 21 commits intomasterfrom
use-concepts

Conversation

@woksin
Copy link
Copy Markdown
Contributor

@woksin woksin commented Aug 27, 2020

No description provided.

@woksin woksin added the major label Aug 27, 2020
@woksin woksin marked this pull request as ready for review August 28, 2020 12:54
@woksin woksin requested a review from joelhoisko August 28, 2020 12:54
@woksin
Copy link
Copy Markdown
Contributor Author

woksin commented Aug 28, 2020

@einari @jakhog This PR is huge since it changes everything to use Concepts, which is a lot more work than you'd think (also changing API to work with ConceptAs)

I have not tested this yet with the samples and what not. You could maybe checkout this branch and try it out, with out looking at the code :)

@woksin
Copy link
Copy Markdown
Contributor Author

woksin commented Aug 29, 2020

I have tested this code with the samples and it seemed to work

@joelhoisko joelhoisko merged commit 4148f96 into master Aug 31, 2020
@joelhoisko joelhoisko deleted the use-concepts branch August 31, 2020 08:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants