jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries pushed to master at jbwdevries/phasm 2025-08-30 12:45:17 +00:00
d1854d7a38 Cleanup to type5 solver
jbwdevries pushed to implement-io-typed-functions at jbwdevries/phasm 2025-08-24 14:09:28 +00:00
3d6d279408 Implements the IO type constructor and Monad type class
71691d68e9 Merge pull request 'Removes the weird second step unify' (#9) from rework-unify-to-be-a-normal-constraint into master
7df9d5af12 Removes the weird second step unify
Compare 3 commits »
jbwdevries deleted branch rework-unify-to-be-a-normal-constraint from jbwdevries/phasm 2025-08-24 14:08:07 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-08-24 14:07:38 +00:00
71691d68e9 Merge pull request 'Removes the weird second step unify' (#9) from rework-unify-to-be-a-normal-constraint into master
7df9d5af12 Removes the weird second step unify
Compare 2 commits »
jbwdevries merged pull request jbwdevries/phasm#9 2025-08-24 14:07:37 +00:00
Removes the weird second step unify
jbwdevries created pull request jbwdevries/phasm#9 2025-08-24 14:07:27 +00:00
Removes the weird second step unify
jbwdevries pushed to rework-unify-to-be-a-normal-constraint at jbwdevries/phasm 2025-08-24 14:06:48 +00:00
7df9d5af12 Removes the weird second step unify
jbwdevries created branch rework-unify-to-be-a-normal-constraint in jbwdevries/phasm 2025-08-23 14:23:10 +00:00
jbwdevries pushed to rework-unify-to-be-a-normal-constraint at jbwdevries/phasm 2025-08-23 14:23:10 +00:00
439ed97636 Removes the weird second step unify
jbwdevries created branch implement-io-typed-functions in jbwdevries/phasm 2025-08-23 13:33:33 +00:00
jbwdevries pushed to implement-io-typed-functions at jbwdevries/phasm 2025-08-23 13:33:33 +00:00
a955d4fc31 Implements the IO type constructor and Monad type class
jbwdevries deleted branch reworking-type-unification from jbwdevries/phasm 2025-08-23 12:52:51 +00:00
jbwdevries deleted branch implement-io-monad from jbwdevries/phasm 2025-08-23 12:52:28 +00:00
jbwdevries merged pull request jbwdevries/phasm#8 2025-08-21 17:29:29 +00:00
Replaces type3 with type5
jbwdevries pushed to master at jbwdevries/phasm 2025-08-21 17:29:29 +00:00
3d504e3d79 Merge pull request 'Replaces type3 with type5' (#8) from reworking-type-unification into master
6a1f4fc010 Replaces type3 with type5
Compare 2 commits »
jbwdevries created pull request jbwdevries/phasm#8 2025-08-21 17:27:35 +00:00
Replaces type3 with type5
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-21 17:26:48 +00:00
6a1f4fc010 Replaces type3 with type5
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-19 15:37:46 +00:00
f5f288d022 Replaces type3 with type5
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-19 15:31:23 +00:00
b84d5440e5 Replaces type3 with type5
jbwdevries pushed to reworking-type-unification at jbwdevries/phasm 2025-08-19 15:00:51 +00:00
9723b82b1d Replaces type3 with type5