search

Xazax-hun / domains-oxide

Toy language to help experiment with numerical domains for abstract interpretation
Apache License 2.0
2 stars 0 forks source link

Add guidance about persistent data structures #16

Open Xazax-hun opened 10 months ago

Xazax-hun commented 10 months ago

Use/recommend https://github.com/orium/rpds