Commits
Click on a commit to change the comparison rangeupdate hugr-llvm snapshots Make TypeRowRV a struct (the only panicking new); rm GeneralSum, SerTypeRowRV comment re. Type::validate Merge branch 'acl/no_1type_row' into acl/type_wraps_term Fix json-encoding of type variables (showed only in extension defs) TypeRowRV::new() is const no-args; use try_from, but use safe ctors more Merge remote-tracking branch 'origin/main' into acl/type_wraps_term reduce change to benchmark Try "optimizing"(?) import_signature not to import_func_type Rename Substitutable -> TypeRowLike, move into type_row.rs drop From<SumType/CustomType> for Term TypeRowRV::just_row_var=>new_var_use FromIterator for both TypeRowRV and TypeRow comment out get_alias_type and friends