jbwdevries
  • Joined on 2022-08-20
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-30 17:13:59 +00:00
0d306a1334 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-30 17:08:12 +00:00
388f6754d3 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-30 16:54:56 +00:00
b80ed6597c Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-27 14:23:06 +00:00
aec7fd674a Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-27 14:03:58 +00:00
501e78566e Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-27 12:51:56 +00:00
5e068d691d Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-27 12:29:40 +00:00
4512b0d6c1 Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-20 14:29:34 +00:00
14c316a0dc Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-20 13:46:16 +00:00
024cdac04e Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-20 11:11:55 +00:00
10946486fc Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-19 17:41:51 +00:00
1d107d1baa Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-19 17:16:48 +00:00
bd0c4eb17a Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-19 14:27:39 +00:00
e68b49862c Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-19 13:34:24 +00:00
6ec29fd26b Notes
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-13 14:43:32 +00:00
90f5cf4c65 ideas
jbwdevries created branch reworking-type-unification in jbwdevries/phasm 2025-07-12 15:29:01 +00:00
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-07-12 15:29:01 +00:00
f6b4f7c20a First attempts
74a0d700f3 Notes
Compare 2 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-06-07 12:38:59 +00:00
1a3bc19dce Fix linting issues
jbwdevries pushed to master at jbwdevries/phasm 2025-06-07 12:00:11 +00:00
544bbfac72 Updates the README for clarity
jbwdevries pushed to master at jbwdevries/phasm 2025-06-05 17:49:12 +00:00
8a1a6af3e7 Reworked the examples to be more welcoming