Code

add evaluated type system#39

Code

Merged

wcho21 merged 4 commits intodevwcho21/kal:devfrom featwcho21/kal:featCopy head branch name to clipboardDec 22, 2023

+512-146

Commits

Commits on Dec 21, 2023

• add evaluated system

  wcho21

  committed
  05f06e8

• add union types of evaluated type

  wcho21

  committed
  b79225c

• use evaluated type instead

  Show description for b16c075
  wcho21

  committed
  b16c075

Commits on Dec 22, 2023

• remove unnecessary test todo

  wcho21

  committed
  8157b4c