Add a working Formatter for Rholang-idea

[AbnerZheng]

Since @dckc suggests, I create this issue for apply for budget for Add a working Formatter for Rholang-idea.

The function preview:

The PR is tgrospic/rholang-idea#2.
Measure of Completion:
Suggested Budget:

[lapin7]

I think this is awesome and deserves a budget and reward
https://docs.google.com/spreadsheets/d/1uxuxx8YN17KCIWcH1cUoGuSm2hAnIya2iAc6wxoaq1o/edit#gid=60903965&range=A273:Q273

422		Add a working Formatter for Rholang-idea		$ -	$ -	$ -	⍴ -	$ -	OPEN	0			AbnerZheng	0		tgrospic

[dckc]

Yes, this looks like good work. I wonder if we could get some time in Greg's weekly update for a demo. (See also #380)

[lapin7]

I will try to get some demo time from Greg

[David405]

@AbnerZheng, kindly comment your discord username, I would like to have a chat with you

[dckc]

@David405 a good place to connect github names to discord names is the Introduction survey results in #222. I guess I should make them easier to find...

[AbnerZheng]

@David405 I have the same name with discord.

[AbnerZheng]

@tgrospic @lapin7 @dckc
It is a big PR, you can view the commits in https://github.com/tgrospic/rholang-idea/pull/2/commits. It takes me about 12 days to finish the job. The tuning of formatter style take a amount of time.
So I apply for 3200$.
Can I have your vote?

[timxor]

What is the Budget for this issue?

[dckc]

yes, you have my vote, @AbnerZheng ; however, presuming this gets some time on the weekly update, I voted to reward myself and @lapin7 a small part of the reward for getting it appreciated by a wider audience.

[AbnerZheng]

@dckc
Sure, thanks for your presuming.