3 ms·Yes! I have played with Shen before. IIRC the type checker is literally a Prolog.by divs1210 3y agoYes! I have played with Shen before. IIRC the type checker is literally a Prolog.