Ivan
|
e1604bb7f8
|
F: Implement rules from pyconcept0.1.10
|
2024-09-25 23:07:55 +03:00 |
|
Ivan
|
df4323d214
|
F: Update pyconcept and implement improved typechecking
|
2024-09-22 20:25:10 +03:00 |
|
Ivan
|
d12e8fed22
|
M: Fix syntax error message
|
2024-09-21 17:27:59 +03:00 |
|
Ivan
|
8bd2c71f50
|
F: Implement typification checks on substitutions
|
2024-08-26 22:53:02 +03:00 |
|
Ivan
|
30ec76cefd
|
F: Implement basic substitution checks
|
2024-08-26 17:24:46 +03:00 |
|
IRBorisov
|
2759f10d09
|
Initial commit
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (18.x) (push) Has been cancelled
|
2024-06-07 20:17:03 +03:00 |
|