Commit Graph

9 Commits

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