Comment on Show HN: Conway's Game of Life in TypeScript's type systemparentComments−divs12103yYes! I have played with Shen before.IIRC the type checker is literally a Prolog.
Comments
Yes! I have played with Shen before.
IIRC the type checker is literally a Prolog.