jbwdevries
0 Followers · 0 Following
  • Joined on 2022-08-20
Repositories
3
 Projects Packages Public Activity Starred Repositories
jbwdevries created branch project-setup-ideas in jbwdevries/phasm-platform 2023-04-10 10:51:34 +00:00
jbwdevries created repository jbwdevries/phasm-platform 2023-04-10 10:17:31 +00:00
jbwdevries pushed to master at jbwdevries/phasm 2023-01-29 11:42:44 +00:00
e6610a6e96 Adds a todo note
jbwdevries deleted branch optimize_fold_bytes_inline_subscript_bytes_call from jbwdevries/phasm 2023-01-07 15:31:56 +00:00
jbwdevries deleted branch type3 from jbwdevries/phasm 2023-01-07 15:31:37 +00:00
jbwdevries commented on pull request jbwdevries/phasm#4 2023-01-07 15:31:34 +00:00
Implements a typing system

Merged via CLI

jbwdevries closed pull request jbwdevries/phasm#4 2023-01-07 15:31:34 +00:00
Implements a typing system
jbwdevries deleted branch milner_type_checking from jbwdevries/phasm 2023-01-07 15:31:20 +00:00
jbwdevries commented on pull request jbwdevries/phasm#3 2023-01-07 15:31:10 +00:00
Adds a separte typing system

Replaced by #4

jbwdevries closed pull request jbwdevries/phasm#3 2023-01-07 15:31:10 +00:00
Adds a separte typing system
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-07 15:30:10 +00:00
205897101f Adds a typing system to Phasm
jbwdevries pushed to master at jbwdevries/phasm 2023-01-07 15:25:03 +00:00
205897101f Adds a typing system to Phasm
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-07 15:20:45 +00:00
14b8065974 IntType3
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-06 14:59:32 +00:00
0fa076bb93 Re-implemented if statements
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-01 15:05:00 +00:00
da6e306fad Tuple instantiation works again
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-01 15:00:24 +00:00
6231c6b279 Tuple instantiation works again
jbwdevries pushed to type3 at jbwdevries/phasm 2023-01-01 14:02:52 +00:00
f281b78c78 Fixed a wrong test that the new typer caught
7f0acf00fe Started work on applied type constraints
Compare 2 commits »
jbwdevries pushed to type3 at jbwdevries/phasm 2022-12-31 13:52:23 +00:00
e936d6e885 Started on tuples
jbwdevries pushed to type3 at jbwdevries/phasm 2022-12-31 13:40:55 +00:00
ac8daf74f5 PP UP, Python3.10
jbwdevries pushed to type3 at jbwdevries/phasm 2022-12-26 12:35:32 +00:00
8f8f79d799 Comment fixes