re: Sets, sets are everywhere VIEW POST

TOP OF THREAD FULL DISCUSSION
re: Yes, I think so. I think you're talking about the construction of the properties of the Intersection Type C using the product operation on A and B ...

Oh I forgot to respond to your question: "Do you have something in public already (link to a repo)?" - not currently, I'm at version 0.2 so it's early years yet - ask me again in about two years ;-) (Who knew writing a programming language could be so hard!)

code of conduct - report abuse