I really like the idea of the project, I had a bit related idea in Typing vs Runtime Behaviour - there are some examples thay may be included to unsoundness.
I really like the idea of the project, I had a bit related idea in Typing vs Runtime Behaviour - there are some examples thay may be included to unsoundness.