4 ms·
>Shen on the other hand seems quite interesting (and seems to come with its own prolog engine!) Shen implemented Prolog to build it's type checker with.
by qbrass 10y ago
>Shen on the other hand seems quite interesting (and seems to come with its own prolog engine!)
Shen implemented Prolog to build it's type checker with.