[thomasfortes]

> -Verifying that a SemVer update is safe or flagging where it will change the behavior of your code.

Isn't that similar to what Elm does?

[mrkmarron]

My understanding it Elm checks for signature changes such as adding a parameter to a function. We would like to do more and actually compare the actual behavior of the code before/after the change as well.

[schwartzworld]

Sounds like it, but Elm is only for front-end web dev.