Change to using a better string formatter about flint

[SlipperyGnome]

Hey @Patamap, @mfellows and @malfrancis, I am an Outreachy applicant and I am interested in this issue. However, I was hoping if you can elaborate on this issue and clear a few doubts that I have:

1. I saw the fmtlib documentation and saw some enhancements that it can bring. However, how is it a better string formatter than what is already there? Can you please highlight on the current string formatter being used and why you want to change it to fmtlib or the overall improvements it will bring to FLINT?
2. If you want to change the string formatter, do you intend on making changes everywhere in the project or in some specific packages? Can you also please mention where the previous string formatter was used?

[Patamap]

Hello, Thanks a lot for contacting me. At this moment, I do not work for moja global. Please kindly contact to Guy. Thank you. Regards, Patama

…

On Thu, 8 Apr 2021 at 20:57, Debolina Ghatuary ***@***.***> wrote: Hey @Patamap <https://github.com/Patamap>, I am an Outreachy applicant and I am interested in this issue. However, I was hoping if you can elaborate on this issue and clear a few doubts that I have: 1. I saw the fmtlib documentation and saw some enhancements that it can bring. However, how is it a better string formatter than what is already there? Can you please highlight on the current string formatter being used and why you want to change it to fmtlib or the overall improvements it will bring to FLINT? 2. If you want to change the string formatter, do you intend on making changes everywhere in the project or in some specific packages? Can you also please mention where the previous string formatter was used? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#47 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AOJBK54GEJO5RMVY7RSDGG3THWDYVANCNFSM4NZF7QVA> .

[SlipperyGnome]

Thanks a lot Patama for your help.
Hey @gmajan, can you please look into this.
#47 (comment)
Thank you.

[gmajan]

@aornugent @Tlazypanda

[harikishantk]

Hey @HarshCasper
I'm interested to contribute on this issue.

[shreya024]

@gmajan Hi, I am Shreya, a contributor to OpenForce 2022. I would like to work on this issue. I would be making a PR as soon as I am done with resolving the issue. Thank you

[shloka-gupta]

Hi, @shreya024.

Would you be okay with working on a latest issue or do reach out us on Slack we'll help you out on getting started.

[shreya024]

Hi, @shreya024.

Would you be okay with working on a latest issue or do reach out us on Slack we'll help you out on getting started.

Sure, I have reached out on Slack in #general

[haruharu1017]

Hi, @Simpleshell3,
I am an outreachy applicant, please assign this to me