search

nyusemantics / LambdaCalculatorPublic

16 stars 3 forks source link

Implication arrow is not registered when typing "->" on app version 2.6.0 for mac. #32

Open JCA-UPR opened 1 year ago

JCA-UPR commented 1 year ago

Implication arrow is not registered when typing "->" on student version 2.6.0 for mac. Tested on 3 different macs, two on mac os sonoma, and the other in earlier version. The feature does work in version 2.5.0 in all 3 computers.

ppls-nd-prs commented 11 months ago

The same problem occurs on my ubuntu 22.04 machine: in version 2.6.0 the implication arrow is not registered and in 2.5.0 it is.

emar0000 commented 8 months ago

Same on windows...