4 ms·
That is quite a broad and instructive project, very interested to see the Prolog type checking you describe below in action. Thanks!
by jnbiche 11y ago
That is quite a broad and instructive project, very interested to see the Prolog type checking you describe below in action. Thanks!