17 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	3eb6393773	Support Python 3.8.10	2022-10-20 13:52:56 +09:00
Shunsuke Shibayama	633515307a	Add os.path module	2022-10-20 10:02:55 +09:00
Shunsuke Shibayama	45e34c6773	Add DictTypeSpec	2022-10-20 09:17:55 +09:00
Shunsuke Shibayama	7defa71c86	Add json module	2022-10-20 08:39:52 +09:00
Shunsuke Shibayama	09b5f00305	Fix name resolving bug	2022-10-20 07:43:21 +09:00
Shunsuke Shibayama	cb4c2c7bbf	Implement subtype ascription	2022-10-19 19:04:50 +09:00
Shunsuke Shibayama	6613fd85c2	Add tarfile module	2022-10-19 17:59:20 +09:00
Shunsuke Shibayama	87170f9bb3	Implement module compatibility checking	2022-10-19 17:21:37 +09:00
Shunsuke Shibayama	f8dc56b1be	Remove Rust-defined Python modules	2022-10-19 09:36:57 +09:00
Shunsuke Shibayama	e0d6b93abd	Remove rust-defined python modules	2022-10-19 01:50:14 +09:00
Shunsuke Shibayama	ae15f95191	Fix bugs	2022-10-18 17:17:56 +09:00
Shunsuke Shibayama	46b87e1ca3	Fix: variable to have VarInfo instead of Type	2022-10-18 00:25:47 +09:00
Shunsuke Shibayama	119a326ebb	Create subprocess.d.er	2022-10-17 11:28:18 +09:00
Shunsuke Shibayama	cc2b3c4b11	Delete prelude.er (-> _prelude.er)	2022-10-17 11:28:08 +09:00
Shunsuke Shibayama	1154a54c39	Fix bugs	2022-10-17 02:08:04 +09:00
Shunsuke Shibayama	a565206330	Add Nat class	2022-10-16 21:11:16 +09:00
Shunsuke Shibayama	7bc37aa14a	Change the structure of the .erg directory	2022-10-16 12:04:39 +09:00