Hacker News new | ask | show | jobs
by divs1210 1017 days ago
Yes! I have played with Shen before.

IIRC the type checker is literally a Prolog.