← 输入框|github.com|刷新
Skip to content

Deprecate primes in identifiers exported from foreign modules - #3792

Merged
hdgarrood merged 1 commit into
purescript:masterfrom
kl0tl:deprecated-ffi-primes
Apr 4, 2020
Merged

hdgarrood merged 1 commit into
purescript:masterfrom
kl0tl:deprecated-ffi-primes

Deprecate primes in identifiers exported from foreign modules

aa8a4e5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs