Skip to content

Activity

Showing most recent first

Update _erg_str.py

mtshibapushed 1 commit to main • 0bfc1c8…48d0dd3 • 
13 days ago

Update ast.d.er

mtshibapushed 1 commit to main • 26620dd…0bfc1c8 • 
15 days ago

Create symtable.d.er

mtshibapushed 1 commit to main • 7c10b6b…26620dd • 
15 days ago

Merge pull request #540 from jorenham/patch-1

Pull request merge
mtshibapushed 2 commits to main • 04066b2…7c10b6b • 
16 days ago

build: update version (nightly.5)

mtshibapushed 1 commit to main • 37c250a…04066b2 • 
16 days ago

Revert "fix: unification bug"

mtshibapushed 1 commit to main • 4174450…37c250a • 
16 days ago

Update main.yml

mtshibapushed 1 commit to main • 21d296e…4174450 • 
16 days ago

build: update version (nightly.4)

mtshibapushed 1 commit to main • 3dca63a…21d296e • 
16 days ago

fix: unification bug

mtshibapushed 1 commit to main • 0feab05…3dca63a • 
16 days ago

build: update version (nightly.3)

mtshibapushed 1 commit to main • eb67a33…0feab05 • 
16 days ago

Revert "fix: type-var bug"

mtshibapushed 1 commit to main • a10bc83…eb67a33 • 
16 days ago

fix: unification bug

mtshibapushed 1 commit to main • f6959ec…a10bc83 • 
16 days ago

fix: server restarting issue

mtshibapushed 1 commit to main • 170a0c9…f6959ec • 
17 days ago

Update ast.d.er

mtshibapushed 1 commit to main • 3af0acd…170a0c9 • 
17 days ago

Update typing.d.er

mtshibapushed 1 commit to main • ba6d894…3af0acd • 
18 days ago

Update csv.d.er

mtshibapushed 1 commit to main • 6fff895…ba6d894 • 
18 days ago

fix: type-var bug

mtshibapushed 1 commit to main • 6bd76c2…6fff895 • 
19 days ago

build: update version (nightly.2)

mtshibapushed 1 commit to main • 1a29245…6bd76c2 • 
19 days ago

fix: sub-unification bug of self

mtshibapushed 1 commit to main • 29d270c…1a29245 • 
19 days ago

fix: type substitution bug

mtshibapushed 1 commit to main • 9a2029d…29d270c • 
20 days ago

build: update version (nightly.1)

mtshibapushed 1 commit to main • dfb2e43…9a2029d • 
20 days ago

fix: type instantiation bug

mtshibapushed 1 commit to main • 7c75ba0…dfb2e43 • 
20 days ago

fix: clippy warnings

mtshibapushed 1 commit to main • 5119062…7c75ba0 • 
20 days ago

fix: type instantiation bug

mtshibapushed 1 commit to main • 6e21d53…5119062 • 
20 days ago

Update mod.rs

mtshibapushed 1 commit to main • a801eeb…6e21d53 • 
21 days ago

build: update version (nightly.0)

mtshibapushed 1 commit to main • cc99602…a801eeb • 
22 days ago

fix: incorrect type declarations

mtshibapushed 1 commit to main • 79e493b…cc99602 • 
22 days ago

build: update version (v0.6.52)

mtshibapushed 1 commit to main • 948f4a7…79e493b • 
23 days ago

feat: add ErgConfig::respect_pyi

mtshibapushed 1 commit to main • 747eeb9…948f4a7 • 
23 days ago

Update server.rs

mtshibapushed 1 commit to main • 74e3f2e…747eeb9 • 
26 days ago