Fedor Isakov 55eae7dda5 Typechecking templates: replace all obsolete code blocks with logical clauses. Extract logicals into the rule part declaration where possible.		2017-03-01 12:51:21 +01:00
..
languages	Typechecking templates: replace all obsolete code blocks with logical clauses. Extract logicals into the rule part declaration where possible.	2017-03-01 12:51:21 +01:00
solutions	Sample typechecker: ensure the smodel is accessed in read action, cleanup the code.	2017-02-27 16:11:18 +01:00