-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
rebase formality
cleanupRefactoring or cleaning up the codeRefactoring or cleaning up the codeStatus: Open.#19 In dada-lang/dada-model;Implement if/then/else and loops
enhancementExtending the model or improving itExtending the model or improving itStatus: Open.#18 In dada-lang/dada-model;implement copy operation
enhancementExtending the model or improving itExtending the model or improving itStatus: Open.#17 In dada-lang/dada-model;give -> move
cleanupRefactoring or cleaning up the codeRefactoring or cleaning up the codeStatus: Open.#16 In dada-lang/dada-model;- Status: Open.#15 In dada-lang/dada-model;
specification
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#14 In dada-lang/dada-model;Moving lessor of a leased permission can produce an invalid pointer
unsoundType system is accepting things it shouldn'tType system is accepting things it shouldn'tStatus: Open.#12 In dada-lang/dada-model;Storable leases
rfcIssue intended for public discussion or designIssue intended for public discussion or designStatus: Open.#11 In dada-lang/dada-model;