Anton Trunov

> PR is ready to send Sure, will happily review it

There is no consensus on this feature so far, please see this discussion: #147. Closing this for now, but we might come back to the issue of imports from some...

This is indeed a nice suggestion for the current implementation!

Looks like this is the same issue: https://github.com/ton-blockchain/ton/issues/971

@rahulyadav-57 We should definitely have the functionality to switch between Tact versions: both released ones (should support at least two latest minor releases) and the version from GitHub.

@rahulyadav-57 I think we should fix it in Tact itself

In general I would strongly discourage patching things up. Please don't shy away from fixing things in the compiler or any other tool, i.e. where it's relevant

We can fix the current version of Tact, release it as v1.3.1 and require it should be the minimal Tact version for Nujan

@Gmihtt Please squash all your commits into just one commit.

We have now some merge conflicts due to merging the natural numbers PR.