Kacper Marzecki
|
a78fe0541a
|
wip debug
|
2025-06-20 10:28:53 +02:00 |
|
Kacper Marzecki
|
f1243084c7
|
checkpoint docs
|
2025-06-19 18:42:34 +02:00 |
|
Kacper Marzecki
|
cb8dddc326
|
chat
|
2025-06-19 13:17:18 +02:00 |
|
Kacper Marzecki
|
646afaad64
|
fixpoint discussion
|
2025-06-19 02:35:42 +02:00 |
|
Kacper Marzecki
|
658332ace1
|
some progress with recursive checks
|
2025-06-19 02:34:34 +02:00 |
|
Kacper Marzecki
|
bcddae26cb
|
checkpoint before next attempt at recursive types - noice debugging here
|
2025-06-19 01:49:08 +02:00 |
|
Kacper Marzecki
|
ff557cb221
|
checkpoint
|
2025-06-19 01:03:09 +02:00 |
|
Kacper Marzecki
|
176a4c6a04
|
maybe?? revert if not recursive works
|
2025-06-18 21:14:22 +02:00 |
|
Kacper Marzecki
|
7fa469518d
|
consistency fixed
|
2025-06-18 16:13:29 +02:00 |
|
Kacper Marzecki
|
5736c30fa2
|
fix consistency checker
|
2025-06-18 16:01:50 +02:00 |
|
Kacper Marzecki
|
36f63ed355
|
checkpoint before fixing consistency tests
|
2025-06-18 15:56:12 +02:00 |
|
Kacper Marzecki
|
130d369734
|
checkpoint
|
2025-06-18 15:44:49 +02:00 |
|
Kacper Marzecki
|
a5e5127bcd
|
reconstructor & normalization
|
2025-06-18 15:10:58 +02:00 |
|
Kacper Marzecki
|
9f6cd2814a
|
checkpoint
|
2025-06-18 15:00:36 +02:00 |
|
Kacper Marzecki
|
0880bb338f
|
checkpoint new implementation
|
2025-06-18 14:29:40 +02:00 |
|
Kacper Marzecki
|
967eb93aa8
|
checkpoint
|
2025-06-17 19:48:50 +02:00 |
|
Kacper Marzecki
|
8b6171283d
|
checkpoint
|
2025-06-17 12:56:04 +02:00 |
|
Kacper Marzecki
|
5bf920da3a
|
checkpoint
|
2025-06-16 20:59:23 +02:00 |
|
Kacper Marzecki
|
72d851d71b
|
checkpoint
|
2025-06-16 20:51:24 +02:00 |
|
Kacper Marzecki
|
fde8d2aedd
|
checkpoint
|
2025-06-16 20:23:20 +02:00 |
|
Kacper Marzecki
|
dba5f720a6
|
checkpoint but its fucked
|
2025-06-16 19:13:01 +02:00 |
|
Kacper Marzecki
|
1ede4de72c
|
checkpoioint before refactor
|
2025-06-16 17:07:36 +02:00 |
|
Kacper Marzecki
|
cc62c5ce8e
|
wip lists
|
2025-06-16 16:11:03 +02:00 |
|
Kacper Marzecki
|
0dc535d052
|
checkpoint tuples
|
2025-06-16 15:35:54 +02:00 |
|
Kacper Marzecki
|
becef5db2f
|
checkpoint
|
2025-06-16 11:51:38 +02:00 |
|
Kacper Marzecki
|
de167ff5f3
|
cleanup
|
2025-06-16 01:07:42 +02:00 |
|
Kacper Marzecki
|
dddefdb7ac
|
checkpoint - int working?
|
2025-06-15 23:51:11 +02:00 |
|
Kacper Marzecki
|
2ea586c4ad
|
checkpoint
|
2025-06-15 23:47:22 +02:00 |
|
Kacper Marzecki
|
bc77e1f86b
|
checkpoint integers
|
2025-06-15 22:18:46 +02:00 |
|
Kacper Marzecki
|
385ec666aa
|
document
|
2025-06-15 21:51:51 +02:00 |
|
Kacper Marzecki
|
ef0ffd2f08
|
checkpoint
|
2025-06-15 21:44:33 +02:00 |
|
Kacper Marzecki
|
9779fd0328
|
checkpoint failing test
|
2025-06-15 21:04:57 +02:00 |
|
Kacper Marzecki
|
6a91950d02
|
chceckpoint
|
2025-06-15 20:29:35 +02:00 |
|
Kacper Marzecki
|
bb08fbe078
|
heckpoint
|
2025-06-15 20:19:25 +02:00 |
|
Kacper Marzecki
|
eb2e8855ac
|
checkpoint
|
2025-06-15 20:09:03 +02:00 |
|
Kacper Marzecki
|
3e0d6f3485
|
checkpoit
|
2025-06-15 19:56:35 +02:00 |
|
Kacper Marzecki
|
4fbfed4db6
|
checkpoint new tdd
|
2025-06-15 18:29:13 +02:00 |
|
Kacper Marzecki
|
0629bbadbd
|
checkpoint discussion
|
2025-06-15 11:53:15 +02:00 |
|
Kacper Marzecki
|
748f87636a
|
checkpoint
checkpoint
failing test
after fixing tests
checkpoint
checkpoint
checkpoint
re-work
asd
checkpoint
checkpoint
checkpoint
mix proj
checkpoint mix
first parser impl
checkpoint
fix tests
re-org parser
checkpoint strings
fix multiline strings
tuples
checkpoint maps
checkpoint
checkpoint
checkpoint
checkpoint
fix weird eof expression parse error
checkpoint before typing
checkpoint
checpoint
checkpoint
checkpoint
checkpoint ids in primitive types
checkpoint
checkpoint
fix tests
initial annotation
checkpoint
checkpoint
checkpoint
union subtyping
conventions
refactor - split typer
typing tuples
checkpoint test refactor
checkpoint test refactor
parsing atoms
checkpoint atoms
wip lists
checkpoint typing lists
checkopint
checkpoint
wip fixing
correct list typing
map discussion
checkpoint map basic typing
fix tests checkpoint
checkpoint
checkpoint
checkpoint
fix condition typing
fix literal keys in map types
checkpoint union types
checkpoint union type
checkpoint row types discussion & bidirectional typecheck
checkpoint
basic lambdas
checkpoint lambdas typing application
wip function application
checkpoint
checkpoint
checkpoint cduce
checkpoint
checkpoint
checkpoint
checkpoint
checkpoint
checkpoint
checkpoint
|
2025-06-13 23:48:07 +02:00 |
|
Kacper Marzecki
|
4f13a98189
|
asd
|
2025-05-29 16:53:36 +02:00 |
|