jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-04-27 13:32:22 +00:00
a2774d0fa6 Removes the special casing for foldl
11fde4cb9e Add missing fix for generator
c8009403c4 Separates out TypeVariable and constraints
Compare 3 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-04-27 13:30:21 +00:00
11fde4cb9e Add missing fix for generator
jbwdevries pushed to master at jbwdevries/phasm 2025-04-27 13:29:09 +00:00
c8009403c4 Separates out TypeVariable and constraints
jbwdevries created branch remove-foldl-special-casing in jbwdevries/phasm 2025-04-27 10:54:46 +00:00
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-04-27 10:54:46 +00:00
b40a6a4cdd Removes the special casing for foldl
jbwdevries pushed to master at jbwdevries/phasm 2025-04-27 10:37:21 +00:00
d3e38b96b2 Removed the len special casing
jbwdevries pushed to master at jbwdevries/phasm 2025-04-27 10:10:31 +00:00
292c9548fb Removes some hardcoded references to prelude
jbwdevries pushed to master at jbwdevries/phasm 2025-04-21 14:49:20 +00:00
faaf7912b1 Various cleanup to type system
jbwdevries pushed to refactor-types-and-placeholders at jbwdevries/phasm 2025-04-21 14:34:32 +00:00
9d4186f8fb Various cleanup to type system
jbwdevries pushed to refactor-types-and-placeholders at jbwdevries/phasm 2025-04-21 14:32:25 +00:00
3d491b7a36 Various cleanup to type system
jbwdevries pushed to refactor-types-and-placeholders at jbwdevries/phasm 2025-04-21 13:39:31 +00:00
c9850e6638 Various cleanup to type system
jbwdevries created branch refactor-types-and-placeholders in jbwdevries/phasm 2025-04-21 10:32:55 +00:00
jbwdevries pushed to refactor-types-and-placeholders at jbwdevries/phasm 2025-04-21 10:32:55 +00:00
5f9b034c0d Various cleanup to type system
jbwdevries deleted branch replace-applied-type-by-type-constructors from jbwdevries/phasm 2025-04-21 09:22:39 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-04-21 09:22:36 +00:00
d6b483581b Merge pull request 'Changes AppliedType to TypeConstructor' (#7) from replace-applied-type-by-type-constructors into master
234bfaa8df Changes AppliedType to TypeConstructor
Compare 2 commits »
jbwdevries merged pull request jbwdevries/phasm#7 2025-04-21 09:22:35 +00:00
Changes AppliedType to TypeConstructor
jbwdevries created pull request jbwdevries/phasm#7 2025-04-21 09:15:54 +00:00
Changes AppliedType to TypeConstructor
234bfaa8df Changes AppliedType to TypeConstructor
891f114edf Ideas [skip-ci]
dcdd6aa6eb Ideas [skip-ci]