4 Commits

Author	SHA1	Message	Date
Ivan	0a5fb5eecf	Add warning if term expressions are not equal	2024-08-28 12:33:47 +03:00
Ivan	30ec76cefd	F: Implement basic substitution checks	2024-08-26 17:24:46 +03:00
Ivan	2e19c6fa69	R: Simplify sync_text and transfer_term	2024-07-30 15:59:37 +03:00
Ivan	d3213211b5	F: Implement UI for synthesis	2024-07-29 16:55:48 +03:00