Commit Graph

2 Commits

Author SHA1 Message Date
c6b9f620d2 Updated documentation and type_check test 2020-12-16 17:25:54 +08:00
eeeb85137f experimental type check 2020-12-16 17:13:43 +08:00