search

ch-systems / petr

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

other expr kinds like bindings #128

Open sezna opened 3 months ago

sezna commented 3 months ago

https://github.com/sezna/petr/blob/cb4aa5c333f16ba26bcb2f8a95d26b56841f41ab/petr-typecheck/src/lib.rs#L1062-L1066

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