Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

move runtime shapes from Tensor APIs to data constructor #231

Merged
merged 3 commits into from
Mar 13, 2022
Merged

move runtime shapes from Tensor APIs to data constructor #231

merged 3 commits into from
Mar 13, 2022

Conversation

joelberkeley
Copy link
Owner

@joelberkeley joelberkeley commented Mar 7, 2022 •
edited
Loading

using with rather than @ because of idris-lang/Idris2#490

@joelberkeley joelberkeley changed the title runtime shapes move runtime shapes to Tensor data constructor, tidying APIs Mar 7, 2022
@joelberkeley joelberkeley marked this pull request as ready for review March 10, 2022 18:24
@joelberkeley joelberkeley marked this pull request as draft March 10, 2022 18:25
@joelberkeley joelberkeley changed the title move runtime shapes to Tensor data constructor, tidying APIs move runtime shapes to Tensor data constructor, simplifying APIs Mar 10, 2022
@joelberkeley joelberkeley changed the title move runtime shapes to Tensor data constructor, simplifying APIs move runtime shapes from Tensor APIs to data constructor Mar 10, 2022
@joelberkeley joelberkeley marked this pull request as ready for review March 13, 2022 13:28
@joelberkeley joelberkeley merged commit 38b991f into master Mar 13, 2022
@joelberkeley joelberkeley deleted the runtime-shapes branch March 13, 2022 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@joelberkeley