Skip to content

Makes monomorphic all words listed in #184. - #232

Merged
dembim merged 5 commits into
masterfrom
uniformly_monomorphic
Jun 28, 2026
Merged

Makes monomorphic all words listed in #184.#232
dembim merged 5 commits into
masterfrom
uniformly_monomorphic

Merge branch 'master' into uniformly_monomorphic

9467322
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar