jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries deleted branch refactor-types-and-placeholders from jbwdevries/phasm 2025-05-09 15:54:24 +00:00
jbwdevries deleted branch rework-typeclass-instantiation from jbwdevries/phasm 2025-05-09 15:53:49 +00:00
jbwdevries created branch rework-function-lookup in jbwdevries/phasm 2025-05-09 15:53:11 +00:00
jbwdevries pushed to rework-function-lookup at jbwdevries/phasm 2025-05-09 15:53:11 +00:00
3959f5d5d3 Reworks function lookup
jbwdevries pushed to implement-foldable-type-class-with-sum at jbwdevries/phasm 2025-05-07 17:14:33 +00:00
23ca1799b2 Implements sum for Foldable types
6b66935c67 Chore: Cleanup type checks
d9a08cf0f7 Chore: Placeholders are now internal
Compare 3 commits »
jbwdevries deleted branch internalize-placeholders-to-typechecker from jbwdevries/phasm 2025-05-07 17:09:46 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2025-05-07 17:09:31 +00:00
6b66935c67 Chore: Cleanup type checks
d9a08cf0f7 Chore: Placeholders are now internal
Compare 2 commits »
jbwdevries pushed to internalize-placeholders-to-typechecker at jbwdevries/phasm 2025-05-07 17:08:01 +00:00
6b66935c67 Chore: Cleanup type checks
d9a08cf0f7 Chore: Placeholders are now internal
Compare 2 commits »
jbwdevries created branch internalize-placeholders-to-typechecker in jbwdevries/phasm 2025-05-05 15:33:51 +00:00
jbwdevries pushed to internalize-placeholders-to-typechecker at jbwdevries/phasm 2025-05-05 15:33:51 +00:00
4f19a5e503 Idea: constraints should only have placeholders
0953975980 Chore: Placeholders are now internal
Compare 2 commits »
jbwdevries pushed to implement-foldable-type-class-with-sum at jbwdevries/phasm 2025-05-05 14:41:00 +00:00
5a149b7796 Implements sum for Foldable types
jbwdevries created branch implement-foldable-type-class-with-sum in jbwdevries/phasm 2025-05-05 12:09:44 +00:00
jbwdevries pushed to implement-foldable-type-class-with-sum at jbwdevries/phasm 2025-05-05 12:09:44 +00:00
8a027a0b10 Implements sum for Foldable types
jbwdevries pushed to master at jbwdevries/phasm 2025-05-05 10:36:01 +00:00
f6cb1a8c1d Adds a FIXME for accessing non-struct members
jbwdevries pushed to master at jbwdevries/phasm 2025-05-05 10:26:18 +00:00
45c38d5f88 Fix: function comment that's no longer true
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2025-05-04 16:18:49 +00:00
cfae563aef Start on llvm IR target
jbwdevries pushed to start-llvm-ir-target at jbwdevries/lang0 2025-05-04 16:11:01 +00:00
8502abeff6 Start on llvm IR target
670532059a Feat: Adds mapclear, mapgetkey, mapsetkey
6055cddab2 Extends the test framework to prepare for compilation tests
Compare 3 commits »
jbwdevries deleted branch start-assembly-target from jbwdevries/lang0 2025-05-04 16:08:38 +00:00
jbwdevries pushed to master at jbwdevries/lang0 2025-05-04 16:08:18 +00:00
670532059a Feat: Adds mapclear, mapgetkey, mapsetkey
jbwdevries deleted branch fix-identifiers-add-map-methods from jbwdevries/lang0 2025-05-04 16:06:27 +00:00