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-05-18 12:42:34 +00:00
3be4599fc1 Removes the special casing for foldl
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-05-17 17:52:13 +00:00
b285eb9d05 Removes the special casing for foldl
a72bd60de2 Adds functions as passable values
99d2b22336 Moved the typeclasse tests. Fix typeclass name.
Compare 3 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-05-17 17:43:57 +00:00
a72bd60de2 Adds functions as passable values
jbwdevries pushed to master at jbwdevries/phasm 2025-05-17 16:42:31 +00:00
99d2b22336 Moved the typeclasse tests. Fix typeclass name.
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-05-16 18:00:33 +00:00
bfb3d2b3a0 Removes the special casing for foldl
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-05-14 17:51:00 +00:00
f19decf65c Removes the special casing for foldl
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-05-13 17:38:25 +00:00
dd4b9373ac Removes the special casing for foldl
jbwdevries pushed to remove-foldl-special-casing at jbwdevries/phasm 2025-05-12 18:05:35 +00:00
23f9e60378 Removes the special casing for foldl
ac4b46bbe7 Fix: You could assign structs to each other
67af569448 Cleanup CanBeSubscriptedConstraint
df5c1911bf Cleans up imports
b5f0fda133 Implements sum for Foldable types
Compare 17 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-05-12 18:01:08 +00:00
ac4b46bbe7 Fix: You could assign structs to each other
67af569448 Cleanup CanBeSubscriptedConstraint
df5c1911bf Cleans up imports
Compare 3 commits »
jbwdevries deleted branch implement-foldable-type-class-with-sum from jbwdevries/phasm 2025-05-12 16:37:07 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-05-12 16:36:53 +00:00
b5f0fda133 Implements sum for Foldable types
jbwdevries pushed to implement-foldable-type-class-with-sum at jbwdevries/phasm 2025-05-10 17:54:59 +00:00
22a10d5d92 Implements sum for Foldable types
jbwdevries pushed to implement-foldable-type-class-with-sum at jbwdevries/phasm 2025-05-10 17:51:29 +00:00
1bcd7cba30 Implements sum for Foldable types
6c627bca01 Reworks function lookup
78c98b1e61 Fix: Type error
f8d107f4fa Replaces did_construct with a proper router
Compare 4 commits »
jbwdevries deleted branch rework-function-lookup from jbwdevries/phasm 2025-05-10 17:42:42 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-05-10 17:42:33 +00:00
6c627bca01 Reworks function lookup
jbwdevries pushed to rework-function-lookup at jbwdevries/phasm 2025-05-10 17:42:24 +00:00
6c627bca01 Reworks function lookup
jbwdevries pushed to rework-function-lookup at jbwdevries/phasm 2025-05-10 15:04:04 +00:00
d908f3d432 Reworks function lookup
jbwdevries pushed to rework-function-lookup at jbwdevries/phasm 2025-05-10 14:54:31 +00:00
c8bf5e7c59 Reworks function lookup
78c98b1e61 Fix: Type error
f8d107f4fa Replaces did_construct with a proper router
Compare 3 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-05-10 14:51:41 +00:00
78c98b1e61 Fix: Type error
jbwdevries pushed to master at jbwdevries/phasm 2025-05-10 14:49:27 +00:00
f8d107f4fa Replaces did_construct with a proper router