HN user

allenguo

9 karma
Posts7
Comments11
View on HN

This was an interesting read. Thanks for sharing!

This means that whenever I call this function, I need to provide together with a and b a proof that b isn’t zero.

What might such a proof look like? And is this supposed to work at compile-time?