Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
719a474
add type prelude
thanhnguyen-aws Dec 4, 2025
a1870de
Merge branch 'main' into pythonprelude
thanhnguyen-aws Dec 4, 2025
8d66766
add copyright
thanhnguyen-aws Dec 5, 2025
30c7159
add supporting axiom for Dict
thanhnguyen-aws Dec 5, 2025
777fcad
Merge branch 'strata-org:main' into pythonprelude
thanhnguyen-aws Dec 12, 2025
658780c
add Class type + code refining
thanhnguyen-aws Dec 12, 2025
004728c
add + edit triggers
thanhnguyen-aws Dec 12, 2025
ac7c5ab
fix type error
thanhnguyen-aws Dec 17, 2025
1cbf5dc
add exists axioms for TypeOf
thanhnguyen-aws Dec 17, 2025
ac285b8
Merge branch 'main' into pythonprelude
shigoel Dec 18, 2025
2c54045
Merge branch 'main' into pythonprelude
thanhnguyen-aws Dec 19, 2025
8772da2
add more function and binary operations
thanhnguyen-aws Dec 19, 2025
e1d2587
Merge branch 'main' into pythonprelude
thanhnguyen-aws Dec 22, 2025
2488bb8
refine TypePrelude
thanhnguyen-aws Dec 22, 2025
3825d5e
add tests for TypePrelude
thanhnguyen-aws Dec 22, 2025
43c9593
remove Value_exception, replace by Except
thanhnguyen-aws Dec 29, 2025
8c41340
Merge branch 'main' into pythonprelude
thanhnguyen-aws Dec 31, 2025
5e39b29
Merge branch 'main' into pythonprelude
thanhnguyen-aws Jan 6, 2026
2619853
initial commit for translator
thanhnguyen-aws Jan 6, 2026
20ccab2
fix lint
thanhnguyen-aws Jan 6, 2026
0604ac5
Merge branch 'main' into pythonprelude
thanhnguyen-aws Jan 13, 2026
9bbfcc7
Merge branch 'main' into pythonprelude
thanhnguyen-aws Jan 15, 2026
79ad162
Merge branch 'main' into pythonprelude
thanhnguyen-aws Jan 20, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading