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 better diagnostics #1

Open Xazax-hun opened 1 year ago

Xazax-hun commented 1 year ago

Let's try https://docs.rs/miette/latest/miette/