2 Commits

Author	SHA1	Message	Date
Krasimir Angelov	d589cedc6b	fix typechecking with the normal type checker	2025-11-06 12:41:31 +01:00
Krasimir Angelov	6b93e87363	merge of the manual and automatic grammars	2025-11-06 11:47:31 +01:00