search

ch-systems / petr

the petr programming language -- Programmable Effects TRacking
https://playground.petr.sh
5 stars 0 forks source link

make this petr type instead of typevariable #142

Open sezna opened 3 months ago

sezna commented 3 months ago

https://github.com/ch-systems/petr/blob/6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b/petr-typecheck/src/lib.rs#L231-L236

This issue was generated by todo-issue based on a TODO comment in 6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b. It's been assigned to @sezna because they committed the code.