-
Notifications
You must be signed in to change notification settings - Fork 180
p-org P Discussions
Sort by:
Latest activity
Categories, most helpful, and community links
Categories
Community links
Discussions
-
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 📣 -
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