3 ms·
What is linked is an experiment where I construct programs according to certain rules. While I do not list what these rules are, imagine the sort of rules that
by murisitarusenga 8y ago
What is linked is an experiment where I construct programs according to certain rules. While I do not list what these rules are, imagine the sort of rules that constrain one when making a mathematical proof.