Fedor Isakov f8dcf127db Extend typechecking query TYPECHECK with a parameter to report types. ... Reporting of calculated types is to be more explicit. The not-so-obvious _type_.set() operation is to be phased out.		2019-10-10 17:30:11 +02:00
..
samples.fitch	Extend typechecking query TYPECHECK with a parameter to report types.	2019-10-10 17:30:11 +02:00
samples.fitch.firstOrderLogic	Update language version after migrations from mps.logic lang	2019-09-11 13:24:02 +03:00
samples.fitch.herbrandLogic	Update language version after migrations from mps.logic lang	2019-09-11 13:24:02 +03:00
samples.fitch.propositionalLogic	Update language version after migrations from mps.logic lang	2019-09-11 13:24:02 +03:00