List view

HB.instance should check for duplicate mixins

error messagesbad/misleading/missing error messagesbad/misleading/missing error messages

hard difficulty

low priorityLow priorityLow priority

Status: Open.

#49 In math-comp/hierarchy-builder;

· gares opened on Mar 3, 2020

Mixins arguments scope should be settable

low priorityLow priorityLow priority

medium difficulty

Status: Open.

#117 In math-comp/hierarchy-builder;

· CohenCyril opened on Sep 2, 2020

redesign factory-alias + builders

needs: more discussion

Status: Open.

#141 In math-comp/hierarchy-builder;

· gares opened on Feb 15, 2021

Trying out meta.yml with nix action

Status: Draft (not ready).

math-comp/hierarchy-buildernumber 154

#154 In math-comp/hierarchy-builder;

· CohenCyril opened on Feb 18, 2021

[wip] universe polymorphism

Status: Draft (not ready).

math-comp/hierarchy-buildernumber 122

#122 In math-comp/hierarchy-builder;

· gares opened on Nov 3, 2020

Add a test for attribute #[arg_sort]

needs: more discussion

Status: Open.

#167 In math-comp/hierarchy-builder;

· CohenCyril opened on Feb 26, 2021