<div dir="ltr">Hi,<br>&nbsp;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Testing of &quot;pure&quot; code ... . way cool ... I am sure there literature from the first order logic, model theory, categorical logic viewpoint??<br><br>Kind regards, Vasili<br></div>