Sergey Sinchuk

Is it ok that the example in "after" does not typecheck correctly (it reports the error "elim expected got =>")

Partially addressed in a2820454eda43aebda4ec678640045b1a9fd45c2

@valis Is your last commit 07894de712c37442310d1522d23eb907e108b145 related to this issue? Can it be closed?

> Agree. I failed to find an easy way to fix that, this logic is deeply hidden in the platform code. I will try to handle that later. Updated the...

Won't fix.

Hi, @ice1000! I implemented feature `:show_context` and `:reset_context` for REPL which prints all the earlier typed in definitions/import commands which affect the state of REPL. Could you elaborate whether you...

I think that we might implement this feature similarly to how it is implemented in TexifyIDEA.

Can't reproduce

> A similar problem: > > ``` > \func test => (Array Nat) -> (Array Nat) > ``` Duplicate to #302

@valis, is there anything left to be done from this issue? Probably only better text fields in dialogs, but I'm not sure.