Skip to content

Use the proper Unicode symbol for empty sets#1339

Open
igstan wants to merge 1 commit into
typelevel:mainfrom
igstan:igstan/use-proper-empty-set-symbol
Open

Use the proper Unicode symbol for empty sets#1339
igstan wants to merge 1 commit into
typelevel:mainfrom
igstan:igstan/use-proper-empty-set-symbol

Use the proper Unicode symbol for empty sets

0385fe7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs