Skip to content

mixin-instance-type->mixin-src does not use the typing information#521

Open
Tragicus wants to merge 1 commit into
math-comp:masterfrom
Tragicus:decls
Open

mixin-instance-type->mixin-src does not use the typing information#521
Tragicus wants to merge 1 commit into
math-comp:masterfrom
Tragicus:decls

repair HB/common/database.elpi/mixin-instance-type->mixin-src

4709cc1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs