Specific Type Formalization

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

Closed sezna closed 3 months ago

sezna commented 3 months ago

This PR formalizes type constraints and nails down the behavior, without effects.

cloudflare-workers-and-pages[bot] commented 3 months ago

Latest commit:	`b942dbf`
Status:	✅ Deploy successful!
Preview URL:	https://d777c441.petr-6ld.pages.dev
Branch Preview URL:	https://alex-specific-type-formaliza.petr-6ld.pages.dev