Fedor Isakov 8d21b056fa Typechecking BL: drop calls to node-ptr.resolve where not necessary. ... Replace expand macro with plain term constructors for String and Object.		2019-11-04 17:16:45 +01:00
..
fitch	Extend typechecking query TYPECHECK with a parameter to report types.	2019-10-10 17:30:11 +02:00
lambdacalc	Fix all templates with broken scopes for logical variables.	2019-10-25 22:45:55 +02:00
mpscore	Typechecking BL: drop calls to node-ptr.resolve where not necessary.	2019-11-04 17:16:45 +01:00