- Notifications
You must be signed in to change notification settings - Fork205
p-org P Feature-request Discussions
Categories, most helpful, and community links
Categories
Uh oh!
There was an error while loading.Please reload this page.
Community links
Feature Request!Discussions
Lets discuss new features that will improve the P framework
You must be logged in to vote You must be logged in to vote Feature request: machine-local types
Feature RequestFeature Request or Enhancement You must be logged in to vote Create an ability to initialize a variable inline
P Language EnhancementNew language features for P Feature RequestFeature Request or Enhancement You must be logged in to vote Create an ability to instantiate sequences as a literal
P Language EnhancementNew language features for P Feature RequestFeature Request or Enhancement You must be logged in to vote Provide support for safe and assume module constructors
P Module System (Compositional Reasoning)Related to the P module system Feature RequestFeature Request or Enhancement