Skip to content

Conversation

@Namyalg
Copy link
Member

@Namyalg Namyalg commented Mar 27, 2022

Description

Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. List any dependencies that are required for this change.

Thanks for opening the Pull Request for moja global. Happy contributing ✨

Namyalg added 2 commits March 27, 2022 20:09
Signed-off-by: Namya LG <namyalg@gmail.com>
Signed-off-by: Namya LG <namyalg@gmail.com>
@shloka-gupta
Copy link
Member

Great additions @Namyalg. A thought, do you think information about how we use it in FLINT should come in a different paragraph?

@Namyalg
Copy link
Member Author

Namyalg commented Apr 6, 2022

Yes @Chicken-Biryani , I will separate the introduction to the datatype, and how it is used in FLINT

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants