Code

Add use open, use package open etc.#372

Code

Merged

gfngfn merged 5 commits intodev-0-1-0-package-systemgfngfn/SATySFi:dev-0-1-0-package-systemfrom dev-0-1-0-dev-use-opengfngfn/SATySFi:dev-0-1-0-dev-use-openCopy head branch name to clipboardNov 3, 2022

+95-180

Commits

Commits on Nov 3, 2022

• support 'use open' etc.

  gfngfn

  committed
  2f32a2c

  Copy full SHA for 2f32a2c

• refactor libraries by using 'use package open'

  gfngfn

  committed
  301833f

  Copy full SHA for 301833f

• fix how to extend type environments with 'use package open'

  gfngfn

  committed
  604bcbe

  Copy full SHA for 604bcbe

• remove 'Stdlib.'

  gfngfn

  committed
  ae65ebc

  Copy full SHA for ae65ebc

• use 'use package open' and 'use open' in '{tests,doc,demo}'

  gfngfn

  committed
  bda1b1a

  Copy full SHA for bda1b1a