Commit Graph

9 Commits (master)

Author SHA1 Message Date
pca006132 fdaf8d8661 fixed typo 2020-12-23 16:48:26 +08:00
pca006132 3f4f23c0ab fix some variable inference 2020-12-23 15:39:39 +08:00
pca006132 0453273d8b type guard 2020-12-23 11:22:17 +08:00
pca006132 ee7c1713a5 main script 2020-12-23 10:34:56 +08:00
pca006132 32f0135f28 fixed bot type 2020-12-21 09:38:37 +08:00
pca006132 ce031999e9 implementing function call check 2020-12-18 13:03:36 +08:00
pca006132 99801cb1cb added some inference 2020-12-17 17:00:43 +08:00
pca006132 dfc393064e fixed bugs in impl 2020-12-17 15:00:09 +08:00
pca006132 606965ce9f implemented signature checker 2020-12-17 14:50:51 +08:00