Issues

• Induction principles extract to ill-typed C++ code

  mit-pdos/mcqc#23 · Filter by author joom opened on Mar 11, 2025
  7

• Alias list as reference-counted tag union

  easygood first issue
  mit-pdos/mcqc#20 · Filter by author elefthei opened on Apr 8, 2019

• Make context a multimap

  easy
  mit-pdos/mcqc#19 · Filter by author elefthei opened on Apr 8, 2019

• Outline expr:fix

  bughelp wanted
  mit-pdos/mcqc#18 · Filter by author elefthei opened on Mar 5, 2019

• Type inference, keep free type substitutions in context

  hard
  mit-pdos/mcqc#17 · Filter by author elefthei opened on Mar 4, 2019

• Forward declaration of structs and variants

  easy
  mit-pdos/mcqc#14 · Filter by author elefthei opened on Jan 18, 2019

• Currying

  enhancement
  mit-pdos/mcqc#11 · Filter by author elefthei opened on Dec 11, 2018

• Support struct types

  easygood first issuehelp wanted
  mit-pdos/mcqc#3 · Filter by author elefthei opened on Sep 23, 2018