|
|
4a4ce14c47
|
added gitignore
|
2020-12-17 17:09:30 +08:00 |
|
|
|
f056f76a76
|
fixed some inference bugs
|
2020-12-17 17:09:21 +08:00 |
|
|
|
5f2eb1c10c
|
added some inference
|
2020-12-17 17:01:31 +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 |
|
|
|
1efbbe832f
|
added notes about toy-impl
|
2020-12-17 14:52:51 +08:00 |
|
|
|
83f58e1da5
|
added notes about numeric types
|
2020-12-17 14:52:24 +08:00 |
|
|
|
606965ce9f
|
implemented signature checker
|
2020-12-17 14:50:51 +08:00 |
|
|
|
a003ebb14e
|
unsigned integers
|
2020-12-17 10:27:11 +08:00 |
|
|
|
effe9434ab
|
added builtin types section
|
2020-12-17 10:22:46 +08:00 |
|
|
|
31c688b4c8
|
disallow default parameter
|
2020-12-17 09:48:58 +08:00 |
|
|
|
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 |
|
|
|
16b427d0e9
|
notes about optional parameter value
|
2020-12-16 16:04:42 +08:00 |
|
|
|
e7839efdc0
|
removed complicated features
|
2020-12-16 15:19:35 +08:00 |
|
|
|
c99fe43217
|
added comment
|
2020-12-15 18:01:10 +08:00 |
|
|
|
2484f772b3
|
fixed typo
|
2020-12-15 18:01:01 +08:00 |
|
|
|
8aa4fc18a7
|
updated after discussion with sb10q
|
2020-12-15 17:33:31 +08:00 |
|
|
|
1c5795da3d
|
added typing issues
|
2020-12-15 13:09:32 +08:00 |
|
|
|
47bdf1f0b2
|
init
|
2020-12-15 11:27:47 +08:00 |
|
