Code

Document ForeignConvertible#1073

Code

Merged

kyouko-taiga merged 4 commits intomainhylo-lang/hylo:mainfrom foreign-convertible-docshylo-lang/hylo:foreign-convertible-docsCopy head branch name to clipboardNov 22, 2023

+57-7

Commits

Commits on Oct 10, 2023

• Document 'ForeignConvertible'

  kyouko-taiga

  committed
  0649023

• Make 'ForeignConvertible' a refinement of 'Equatable'

  kyouko-taiga

  committed
  a7b0526

Commits on Oct 25, 2023

• Merge branch 'main' of github.com:hylo-lang/hylo into foreign-convertible-docs

  kyouko-taiga

  committed
  281d3df

Commits on Nov 22, 2023

• Merge branch 'main' of github.com:hylo-lang/hylo into foreign-convertible-docs

  kyouko-taiga

  committed
  9b7fb6f