Search results

rebase formality

cleanupRefactoring or cleaning up the codeRefactoring or cleaning up the code

Status: Open.

#19 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

Implement if/then/else and loops

enhancementExtending the model or improving itExtending the model or improving it

Status: Open.

#18 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

implement copy operation

enhancementExtending the model or improving itExtending the model or improving it

Status: Open.

#17 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

give -> move

cleanupRefactoring or cleaning up the codeRefactoring or cleaning up the code

Status: Open.

#16 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

boxed class

Status: Open.

#15 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

specification

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#14 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

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't

Status: Open.

#12 In dada-lang/dada-model;

· nikomatsakis opened on Jan 15, 2025

Storable leases

rfcIssue intended for public discussion or designIssue intended for public discussion or design

Status: Open.

#11 In dada-lang/dada-model;

· crlf0710 opened on Sep 15, 2021