jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
581a73e5df Ideas [skip-ci]
jbwdevries created branch replace-applied-type-by-type-constructors in jbwdevries/phasm 2025-04-11 13:51:00 +00:00
a59bc9c31d Ideas [skip-ci]
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 14:02:54 +00:00
87866cff55 More ideas
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 13:40:24 +00:00
20c507a9ec Adds the Bits type class
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 12:24:27 +00:00
99e407c3c0 Adds arithmetic shift shift
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 11:17:25 +00:00
da381e4a48 Made Integral use Python's operators
jbwdevries pushed to master at jbwdevries/phasm 2025-04-09 10:44:36 +00:00
94c8f9388c Implements the Ord type class
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 14:39:00 +00:00
46dbc90475 Implements ceil, floor, trunc, nearest
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 14:20:05 +00:00
9bc8d94ffd Implements !=
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 14:12:39 +00:00
7544055a94 Split Num into NatNum and IntNum
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 12:02:49 +00:00
74ab3b47fd Adds Floating type class with sqrt as method
jbwdevries deleted branch idea_list from jbwdevries/phasm 2025-04-06 11:39:03 +00:00
jbwdevries deleted branch test-generator-framework from jbwdevries/phasm 2025-04-06 11:38:32 +00:00
jbwdevries deleted branch start-on-type-classes from jbwdevries/phasm 2025-04-06 11:38:13 +00:00
jbwdevries commented on pull request jbwdevries/phasm#6 2025-04-06 11:38:08 +00:00
WIP: Made a start on type classes

Merged via command line

jbwdevries closed pull request jbwdevries/phasm#6 2025-04-06 11:38:08 +00:00
WIP: Made a start on type classes
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 11:37:24 +00:00
111cb0f702 Review
be28450658 Converted fractional, fixed integral
4001b086db Cleanup, got rid of OPERATOR_MAP
19a29b7327 Migrated Num
ffd11c4f72 Started on a type class system
Compare 5 commits »
jbwdevries pushed to start-on-type-classes at jbwdevries/phasm 2025-04-06 10:58:46 +00:00
be28450658 Converted fractional, fixed integral
4001b086db Cleanup, got rid of OPERATOR_MAP
19a29b7327 Migrated Num
ffd11c4f72 Started on a type class system
5d9ef0e276 Code review
Compare 9 commits »
jbwdevries pushed to master at jbwdevries/phasm 2025-04-06 10:58:25 +00:00
5d9ef0e276 Code review