User:MagnusY/F* (programming language)/Bibliography

You will be compiling your bibliography and creating an outline of the changes you will make in this sandbox.

Outline of proposed changes
Currently, the article sheds little light on the actual functionality of F*. The additions I plan to add will deal with giving insight into the practical application of F*.

I plan to add an "Overview" section under which will include an "Operators" and a "Data types" section.

For the Operators section, I plan to rely mostly on the Proof-Oriented Programming in F* because this book includes concise information on operators. However, I additionally want to rely a little bit on the Programming and Proving with Indexed Effects article because it gives insight into the ways in which operators are used in certain applications. So it might give me direction as to what operators I should list as this is going to be a brief description of the operators.

For the Data types section, also I plan to rely mostly on the Proof-Oriented Programming in F* because this book includes concise information on data types as well. Furthermore, I will use Dependent Types and Multi-monadic Effects in F* because, like the Programming and Proving with Indexed Effects, it will give me direction as to what to include.

Both of these sections will give the viewer information into how F* actually works. This will be useful because users will actually be able to learn some of the language. Additionally, it will shed light onto what kind of language it is and what it is similar to.