Skip to content

feat: Goblin Translator GenPermSort relation (Goblin Translator part 3)#2795

Merged
Rumata888 merged 5 commits into
masterfrom
is/goblin_translator_gen_perm_sort_relation
Oct 12, 2023
Merged

feat: Goblin Translator GenPermSort relation (Goblin Translator part 3)#2795
Rumata888 merged 5 commits into
masterfrom
is/goblin_translator_gen_perm_sort_relation

Update in line with simplification

8e67281
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs