agentultra/lean-for-hackers

nat.to_string

Closed this issue · 1 comments

this is not working anymore. I used repr.

Right, looks like we have a type-class method now, so we should also be able to use to_string as instead, thanks for the find!