jbwdevries
  • Joined on 2022-08-20
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]
581a73e5df Ideas [skip-ci]
jbwdevries created branch replace-applied-type-by-type-constructors in jbwdevries/phasm 2025-04-11 13:51:00 +00:00
a59bc9c31d Ideas [skip-ci]
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 14:02:54 +00:00
87866cff55 More ideas
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 13:40:24 +00:00
20c507a9ec Adds the Bits type class