Stream: Hierarchy Builder devs & users

Topic: Got issue #404 ;-)


view this post on Zulip Florent Hivert (Nov 30 2023 at 08:05):

https://github.com/math-comp/hierarchy-builder/issues/404

HB should raise not found error on:

#[key="Tmiss"]
HB.mixin Record Foo T := {}.

Last updated: Apr 21 2024 at 01:02 UTC