← Back to context

Comment by gabrieledarrigo

2 years ago

> I have better tools for doing that.

For example?

1 comment

gabrieledarrigo

Reply

valenterry 2 years ago

I would assume he meant to use the typesystem of his PL.