Search results

Induction principles extract to ill-typed C++ code

Status: Open.

#23 In mit-pdos/mcqc;

· joom opened on Mar 11, 2025

Alias list as reference-counted tag union

easy

good first issueGood for newcomersGood for newcomers

Status: Open.

#20 In mit-pdos/mcqc;

· elefthei opened on Apr 8, 2019

Make context a multimap

easy

Status: Open.

#19 In mit-pdos/mcqc;

· elefthei opened on Apr 8, 2019

Outline expr:fix

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#18 In mit-pdos/mcqc;

· elefthei opened on Mar 5, 2019

Type inference, keep free type substitutions in context

hard

Status: Open.

#17 In mit-pdos/mcqc;

· elefthei opened on Mar 4, 2019

Forward declaration of structs and variants

easy

Status: Open.

#14 In mit-pdos/mcqc;

· elefthei opened on Jan 18, 2019

Currying

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In mit-pdos/mcqc;

· elefthei opened on Dec 11, 2018

Support struct types

easy

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#3 In mit-pdos/mcqc;

· elefthei opened on Sep 23, 2018