search

ch-systems / petr

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

rewrite below rules #151

Open sezna opened 3 months ago

sezna commented 3 months ago

https://github.com/ch-systems/petr/blob/e4b9cd0b8ad20070d0f16fcb69aa0b1084c5ee34/petr-typecheck/src/solution.rs#L281-L286

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