Improve the math page

[JJ]

Introduction

You might need to have a quick introduction to the language. This is as short as it gets. If you have any question about Perl 6, it's probably better to either take it to StackOverflow or ask in the IRC channel, which you can access from the web.

The language used for the documentation is called Perl6 pod. You can pretty much follow the conventions that you already see in the document, but that guide above might help you find whatever is not there.

We are talking about this page, "Doing math with perl6", which you can edit directly on the GitHub page by clicking on the pencil right above the butterfly (a.k.a Camelia); saving it will generate a pull request, or via forking, editing locally and doing a pull request in the usual way.

The problem

Perl 6 includes extensive facilities for using math notation, and doing math with different types. The current page is short and includes only a few examples of sets, or arithmetic.

Suggestions

The page can be improved in many different ways, obviously not limited to the ones below.

• Revise page for possible math terminology, or other, errors.
• The Set section includes, effectively, only Sets, while Perl 6 includes several other kind of set-ty classes. Math on them could be added to that section
• Most Set operations are not mentioned. Some examples of theorems proved using them, or simply solving some mathematical problems, would be interesting.
• Perl 6 is a functional language. A section on type algebra would enhance this page.

[ab5tract]

Not directly math related, but I'm currently working on updating the documentation for sets, bags, and mixes page to be actually truthful to the current implementation.

So if you are adding anything set related, make sure you ignore most of what is currently written on that page, at least with regards to how the operators work with bags and mixes (and sets when they are involved in operations with bags and mixes).