Formalize monomorphization in type system; Add size_of intrinsic

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

Closes #118

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

Latest commit:	`bb4ba1a`
Status:	✅ Deploy successful!
Preview URL:	https://bc6bf4c3.petr.pages.dev
Branch Preview URL:	https://alex-size-of-intrinsic.petr.pages.dev