jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Changes AppliedType to TypeConstructor #7

Merged
jbwdevries merged 1 commits from replace-applied-type-by-type-constructors into master 2025-04-21 09:22:35 +00:00
Conversation 0 Commits 1 Files Changed 19 +473 -479
jbwdevries commented 2025-04-21 09:15:54 +00:00
Owner
Copy Link

First to be more in line with how the literature
treats these types. But also to make them workable with
type classes.

First to be more in line with how the literature treats these types. But also to make them workable with type classes.
jbwdevries added 1 commit 2025-04-21 09:15:54 +00:00 
First to be more in line with how the literature
treats these types. But also to make them workable with
type classes.
jbwdevries merged commit d6b483581b into master 2025-04-21 09:22:35 +00:00
jbwdevries deleted branch replace-applied-type-by-type-constructors 2025-04-21 09:22:39 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
jbwdevries
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jbwdevries/phasm#7
No description provided.
Delete Branch "replace-applied-type-by-type-constructors"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?