3 ms·You can express those invariants using dependent types. Look at something like Lean.by haskellandchill 6y agoYou can express those invariants using dependent types. Look at something like Lean.