TODOs - Githubissues

cgrand / enlivez

8 stars 0 forks source link

TODOs #23

Closed cgrand closed 5 years ago

cgrand commented 5 years ago

[X] constant fragments in loops
[ ] less awkward predicates
[X] sorting
[X] proper shadowing (lexical scope)
[X] inclusion

cgrand commented 5 years ago

created #29 for the remaining item