Portal

Author	SHA1	Message	Date
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 Some checks failed Backend CI / build (3.12) (push) Has been cancelled Details Frontend CI / build (18.x) (push) Has been cancelled Details	2024-06-07 20:17:03 +03:00