Discussions: p-org/P
Discussions
-
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Adding Probabilistic Choose() in P
Feature RequestFeature Request or Enhancement -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Ben-Or: Checking liveness properties
QuestionQuestion! -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
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
