zilch-lang zilch Discussions
Pinned Discussions
Discussions
-
You must be logged in to vote UPDATE: envisioned feature list
kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote Zilch1-2-3 features preview
kind: enhancementNew feature or request kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote Algebraic effects
kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote Dependent types
kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote Quantitative types & graded modal types
kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote Region-based memory management
kind: discussionDiscussing about something, waiting for opinions about: designRelated to design problems -
You must be logged in to vote
