p-org P Feature-request Discussions
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 Improve the support for renaming of interfaces
P Module System (Compositional Reasoning)Related to the P module system 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
