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

Convert Structures - Array to Type Patterns #84

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Convert Structures - Array to Type Patterns #84

wants to merge 4 commits into from

Conversation

JordyAaldering
Copy link
Contributor

No description provided.

@JordyAaldering JordyAaldering self-assigned this Nov 14, 2023
@JordyAaldering JordyAaldering linked an issue Nov 14, 2023 that may be closed by this pull request
Convert Structures - Array to Type Patterns #83
Open
sbscholz
sbscholz reviewed Nov 24, 2023
View reviewed changes
Copy link
Member

@sbscholz sbscholz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

more review later ... some of these functions are way too ugly in terms of their domain/ codomain constraints!

src/structures/ArrayBasics.xsac Outdated Show resolved Hide resolved
src/structures/ArrayBasics.xsac Outdated Show resolved Hide resolved
src/structures/ArrayFormat.xsac Show resolved Hide resolved
@JordyAaldering JordyAaldering changed the title Convert Structures - Array to Type Patterns Draft: Convert Structures - Array to Type Patterns Dec 1, 2023
@JordyAaldering JordyAaldering changed the title Draft: Convert Structures - Array to Type Patterns Convert Structures - Array to Type Patterns Feb 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sbscholz sbscholz sbscholz left review comments

At least 1 approving review is required to merge this pull request.

Assignees

@JordyAaldering JordyAaldering

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Convert Structures - Array to Type Patterns
2 participants
@JordyAaldering @sbscholz