kongware/scriptum

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

ivenmarquardt opened this issue · 0 comments

ivenmarquardt commented
How to work with `Nat`/`Int` w/o violating their property to be completely erased in production?