F* (programming language)
This page lists the items of the Wikipedia article F* (programming language) in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1371120897.
| Outcome | Items |
|---|---|
| deferred | 1 |
The gap signals of the article are S6,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | F* | deferred until 2027-05-01 | the item has the flag informal (WP9.2) |
Refer to Wikipedia articles and their nodes for the other articles.