search

ktye / i

interpret
100 stars 16 forks source link

,\1 2 3 #11

Closed ktye closed 11 months ago

ktye commented 2 years ago

,\1 2 3 could be (!0),\1 2 3 (,1;1 2;1 2 3)

(),\1 2 3 is broken just as (),/1 2 3 (no unify)

ktye commented 2 years ago

(),\1 2 3 is broken just as (),/1 2 3 (no unify) ok now.