jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-03 13:55:48 +00:00
4e798ce78b Cleanup
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-03 13:48:19 +00:00
a3d9b8af0a Cleanup
07ffbbbaab Typeclasses
Compare 2 commits »
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 17:58:12 +00:00
cb79918099 Typeclasses
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 14:37:36 +00:00
50066c3638 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 14:17:41 +00:00
5643c340d2 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 14:12:01 +00:00
d83546d287 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 13:45:30 +00:00
cb2b1ea2f3 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 13:01:59 +00:00
b117690738 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 13:00:18 +00:00
17e4520666 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 12:58:13 +00:00
45956f6d8a Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 12:30:25 +00:00
f74a5540ba Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 12:14:36 +00:00
33c975a33a Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 12:13:54 +00:00
ad078f985c Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 11:28:28 +00:00
21cea93c3c Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 10:23:58 +00:00
2d5b9c3943 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 10:19:48 +00:00
0f93d621db Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 10:17:59 +00:00
a110fe8405 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-02 10:08:28 +00:00
b2eb6b4615 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-01 18:07:16 +00:00
c0a8c20c3c Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-01 17:06:14 +00:00
7ad7329eed Notes