scriptum
scriptum copied to clipboard
How to work with `Nat`/`Int` w/o violating their property to be completely erased in production?