jbwdevries

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

jbwdevries created pull request jbwdevries/phasm#4

2022-12-26 12:21:57 +00:00

Implements a typing system

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-26 12:20:21 +00:00

4876be77fd Cleanup type comments, old generator file

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-26 12:11:43 +00:00

1afa3efc31 Reimplements casting and foldl

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-25 13:30:28 +00:00

a164976f63 Restored importing of function

jbwdevries pushed to type3 at jbwdevries/phasm

2022-12-24 19:00:28 +00:00

2ab574706f Updated main, buffer, added test