69 commits

Author	SHA1	Message	Date
GreasrySlug	08ad656240	style(python): format with black	2023-03-16 22:39:34 +09:00
GreasrySlug	454224858b	feat(python): add pyproject for dep	2023-03-16 22:00:08 +09:00
Shunsuke Shibayama	c5848db951	fix: #408	2023-03-07 09:49:59 +09:00
Shunsuke Shibayama	855d47f02c	fix(typechecker): quantified types unifying	2023-02-19 02:00:54 +09:00
Shunsuke Shibayama	b552cad3b2	feat: add Bytes.d.er/Obj.d.er	2023-02-18 13:46:48 +09:00
Shunsuke Shibayama	3aeb63f51b	feat: add Array.d.er/Bool.d.er/Nat.d.er	2023-02-18 00:24:25 +09:00
Shunsuke Shibayama	f3fd5e3eeb	feat(els): support module renaming	2023-02-14 16:23:45 +09:00
Shunsuke Shibayama	38ad42068e	Merge branch 'main' into fix-type-matching	2023-02-12 17:50:39 +09:00
Shunsuke Shibayama	ba19cb107d	Update _erg_str.py	2023-02-12 17:48:16 +09:00
Shunsuke Shibayama	e94acfcc0b	Update _erg_in_operator.py	2023-02-12 01:48:23 +09:00
Shunsuke Shibayama	af0fff8226	fix(compiler): runtime type matching system	2023-02-12 01:34:12 +09:00
Shunsuke Shibayama	89d830c364	feat(Array): add dedup, partition method	2023-02-07 23:59:23 +09:00
Shunsuke Shibayama	3a14bbe37e	fix: codegen expr	2023-02-07 23:44:17 +09:00
Shunsuke Shibayama	c44355346e	Add some builtin types methods	2023-02-03 13:34:16 +09:00
Shunsuke Shibayama	d5e9649172	Fix builtin types methods	2023-02-03 02:17:44 +09:00
Shunsuke Shibayama	8cdc735486	Fix builtin types methods	2023-02-03 00:23:42 +09:00
Shunsuke Shibayama	e44ba71aa5	Add some Str! methods	2023-02-01 13:37:41 +09:00
Shunsuke Shibayama	dea05ef6e8	Add Bytes	2023-01-16 10:37:08 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00